An Introduction to Closed/Open Neighborhood Sums: Minimax, Maximin, and Spread

For a graph G of order |V(G)| = n and a real-valued mapping f:V(G)?\mathbbR{f:V(G)\rightarrow\mathbb{R}}, if S ì V(G){S\subset V(G)} then f(S)=?_{w ? S} f(w){f(S)=\sum_{w\in S} f(w)} is called the weight of S under f. The closed (respectively, open) neighborhood sum of f is the maximum weight of a closed (respectively, open) neighborhood under f, that is, NS[f]=max{f(N[v])|v ? V(G)}{NS[f]={\rm max}\{f(N[v])|v \in V(G)\}} and NS(f)=max{f(N(v))|v ? V(G)}{NS(f)={\rm max}\{f(N(v))|v \in V(G)\}}. The closed (respectively, open) lower neighborhood sum of f is the minimum weight of a closed (respectively, open) neighborhood under f, that is, NS^-[f]=min{f(N[v])|v ? V(G)}{NS^{-}[f]={\rm min}\{f(N[v])|v\in V(G)\}} and NS^-(f)=min{f(N(v))|v ? V(G)}{NS^{-}(f)={\rm min}\{f(N(v))|v\in V(G)\}}. For W ì \mathbbR{W\subset \mathbb{R}}, the closed and open neighborhood sum parameters are NS_W[G]=min{NS[f]|f:V(G)? W{NS_W[G]={\rm min}\{NS[f]|f:V(G)\rightarrow W} is a bijection} and NS_W(G)=min{NS(f)|f:V(G)? W{NS_W(G)={\rm min}\{NS(f)|f:V(G)\rightarrow W} is a bijection}. The lower neighbor sum parameters are NS^-_W[G]=maxNS^-[f]|f:V(G)? W{NS^{-}_W[G]={\rm max}NS^{-}[f]|f:V(G)\rightarrow W} is a bijection} and NS^-_W(G)=maxNS^-(f)|f:V(G)? W{NS^{-}_W(G)={\rm max}NS^{-}(f)|f:V(G)\rightarrow W} is a bijection}. For bijections f:V(G)? {1,2,?,n}{f:V(G)\rightarrow \{1,2,\ldots,n\}} we consider the parameters NS[G], NS(G), NS ⁻[G] and NS ⁻(G), as well as two parameters minimizing the maximum difference in neighborhood sums.     

Compact Operators that Commute with a Contraction

Let T be a C₀–contraction on a separable Hilbert space. We assume that I_H − T*T is compact. For a function f holomorphic in the unit disk \mathbbD{\mathbb{D}} and continuous on [`(\mathbbD)]\overline{{\mathbb{D}}}, we show that f(T) is compact if and only if f vanishes on s(T)?\mathbbT\sigma(T)\cap{\mathbb{T}}, where σ(T) is the spectrum of T and \mathbbT{\mathbb{T}} the unit circle. If f is just a bounded holomorphic function on \mathbbD{\mathbb{D}}, we prove that f(T) is compact if and only if lim_{n? ￥}||Tⁿf(T)|| = 0\lim\limits_{n\rightarrow \infty}\|T^{n}f(T)\| = 0.     

All 4-Edge-Connected HHD-Free Graphs are {\mathbb{Z}_3}-Connected

An undirected graph G = (V, E) is called \mathbbZ₃{\mathbb{Z}_3}-connected if for all b: V ? \mathbbZ₃{b: V \rightarrow \mathbb{Z}_3} with ?_{v ? V}b(v)=0{\sum_{v \in V}b(v)=0}, an orientation D = (V, A) of G has a \mathbbZ₃{\mathbb{Z}_3}-valued nowhere-zero flow f: A? \mathbbZ₃-{0}{f: A\rightarrow \mathbb{Z}_3-\{0\}} such that ?_{e ? d⁺(v)}f(e)-?_{e ? d^-(v)}f(e)=b(v){\sum_{e \in \delta^+(v)}f(e)-\sum_{e \in \delta^-(v)}f(e)=b(v)} for all v ? V{v \in V}. We show that all 4-edge-connected HHD-free graphs are \mathbbZ₃{\mathbb{Z}_3}-connected. This extends the result due to Lai (Graphs Comb 16:165–176, 2000), which proves the \mathbbZ₃{\mathbb{Z}_3}-connectivity for 4-edge-connected chordal graphs.     

On certain functional equations related to Jordan triple (q, f){(\theta, \phi)}-derivations on semiprime rings

The main purpose of this paper is to prove the following result. Let R be a 2-torsion free semiprime ring with symmetric Martindale ring of quotients Q _s and let q{\theta} and f{\phi} be automorphisms of R. Suppose T:R? R{T:R\rightarrow R} is an additive mapping satisfying the relation T(xyx)=T(x)q(y)q(x)-f(x)T(y)q(x)+f(x)f(y)T(x){T(xyx)=T(x)\theta (y)\theta (x)-\phi (x)T(y)\theta (x)+\phi (x)\phi (y)T(x)}, for all pairs x,y ? R{x,y\in R}. In this case T is of the form 2T(x)=qq(x)+f(x)q{2T(x)=q\theta (x)+\phi (x)q}, for all x ? R{x\in R} and some fixed element q ? Q_s{q\in Q_{s}}.     

A Non-Analytic Growth Bound for Laplace Transforms and Semigroups of Operators

Let f : \mathbbR₊ ? \mathbbC f : \mathbb{R}_{+} \longrightarrow \mathbb{C} be an exponentially bounded, measurable function. We introduce a growth bound z(f) \zeta(f) which measures the extent to which f f can be approximated by holomorphic functions. This growth bound is related to the location of the domain of holomorphy of the Laplace transform of f f far from the real axis. The denition extends to vector and operator-valued cases. For a C₀ C_{0} -semigroup T T of operators, z(T) \zeta(T) is closely related to the critical growth bound of T T .     

Clique Vertex Magic Cover of a Graph

Let G admit an H-edge covering and f : V èE ? {1,2,?,n+e}{f : V \cup E \to \{1,2,\ldots,n+e\}} be a bijective mapping for G then f is called H-edge magic total labeling of G if there is a positive integer constant m(f) such that each subgraph H _i , i = 1, . . . , r of G is isomorphic to H and f(H_i)=f(H)=S_{v ? V(Hi)}f(v)+S_{e ? E(Hi)} f(e)=m(f){f(H_i)=f(H)=\Sigma_{v \in V(H_i)}f(v)+\Sigma_{e \in E(H_i)} f(e)=m(f)}. In this paper we define a subgraph-vertex magic cover of a graph and give some construction of some families of graphs that admit this property. We show the construction of some C _n - vertex magic covered and clique magic covered graphs.     

<Emphasis Type="Italic">v</Emphasis>-Adic maximal extensions,spectral norms and absolute Galois groups

Let (K, v) be a perfect rank one valued field and let ([`(K<sub>v</sub>)],[`(v)]){(\overline{K_{v}},\overline{v})} be the canonical valued field obtained from (K, v) by the unique extension of the valuation [(v)\tilde]{\widetilde{v}} of K _v , the completion of K relative to v, to a fixed algebraic closure [`(K<sub>v</sub>)]{\overline{K_{v}}} of K <sub>v</sub> . Let [`(K)]{\overline{K}} be the algebraic closure of K in [`(K<sub>v</sub>)]{\overline {K_{v}}}. An algebraic extension L of K, L ì [`(K)]{L\subset\overline{K}}, is said to be a v-adic maximal extension, if [`(v)] | <sub>L</sub>{\overline{v}\mid_{L}} is the only extension of v to L and L is maximal with this property. In this paper we describe some basic properties of such extensions and we consider them in connection with the v-adic spectral norm on [`(K)]{\overline{K}} and with the absolute Galois groups Gal([`(K)]/K){(\overline{K}/K)} and Gal([`(K_v)] /K_v){(\overline{K_{v}} /K_{v})}. Some other auxiliary results are given, which may be useful for other purposes.     

On Integral Equations Related to Weighted Toeplitz Operators

For weighted Toeplitz operators T^N_j{{\mathcal T}^N_\varphi} defined on spaces of holomorphic functions in the unit ball, we derive regularity properties of the solutions f to the equation T^N_j(f)=h{{\mathcal T}^N_\varphi(f)=h} in terms of the regularity of the symbol φ and the data h. As an application, we deduce that if f\not o 0{f\not\equiv0} is a function in the Hardy space H ¹ such that its argument [`(f)]/f{\bar f/f} is in a Lipschitz space on the unit sphere \mathbb S{{\mathbb S}}, then f is also in the same Lipschitz space, extending a result of Dyakonov to several complex variables.     

On Li’s coefficients for the Rankin–Selberg <Emphasis Type="Italic">L</Emphasis>-functions

We define a generalized Li coefficient for the L-functions attached to the Rankin–Selberg convolution of two cuspidal unitary automorphic representations π and π ^′ of GL_m(\mathbbA_F)GL_{m}(\mathbb{A}_{F}) and GL_m^￠(\mathbbA_F)GL_{m^{\prime }}(\mathbb{A}_{F}) . Using the explicit formula, we obtain an arithmetic representation of the n th Li coefficient l_p,p^￠(n)\lambda _{\pi ,\pi ^{\prime }}(n) attached to L(s,p_f×[(p)\tilde]_f^￠)L(s,\pi _{f}\times \widetilde{\pi}_{f}^{\prime }) . Then, we deduce a full asymptotic expansion of the archimedean contribution to l_p,p^￠(n)\lambda _{\pi ,\pi ^{\prime }}(n) and investigate the contribution of the finite (non-archimedean) term. Under the generalized Riemann hypothesis (GRH) on non-trivial zeros of L(s,p_f×[(p)\tilde]_f^￠)L(s,\pi _{f}\times \widetilde{\pi}_{f}^{\prime }) , the nth Li coefficient l_p,p^￠(n)\lambda _{\pi ,\pi ^{\prime }}(n) is evaluated in a different way and it is shown that GRH implies the bound towards a generalized Ramanujan conjecture for the archimedean Langlands parameters μ _π (v,j) of π. Namely, we prove that under GRH for L(s,p_f×[(p)\tilde]_f)L(s,\pi _{f}\times \widetilde{\pi}_{f}) one has |Rem_p(v,j)| ￡ \frac14|\mathop {\mathrm {Re}}\mu_{\pi}(v,j)|\leq \frac{1}{4} for all archimedean places v at which π is unramified and all j=1,…,m.     

Maps Between Uniform Algebras Preserving Norms of Rational Functions

Let A, B be uniform algebras. Suppose that A ₀, B ₀ are subgroups of A ⁻¹, B ⁻¹ that contain exp A, exp B respectively. Let α be a non-zero complex number. Suppose that m, n are non-zero integers and d is the greatest common divisor of m and n. If T : A ₀ → B ₀ is a surjection with ||T(f)^mT(g)ⁿ - a||_￥ = ||f^mgⁿ - a||_￥{\|T(f)^{m}T(g)^{n} - \alpha\|_{\infty} = \|f^{m}g^{n} - \alpha\|_{\infty}} for all f,g ? A₀{f,g \in A_0}, then there exists a real-algebra isomorphism [(T)\tilde] : A ? B{\tilde{T} : A \rightarrow B} such that [(T)\tilde](f)^d = (T(f)/T(1))^d{\tilde{T}(f)^d = (T(f)/T(1))^d} for every f ? A₀{f \in A_0}. This result leads to the following assertion: Suppose that S _A , S _B are subsets of A, B that contain A ⁻¹, B ⁻¹ respectively. If m, n > 0 and a surjection T : S _A → S _B satisfies ||T(f)^mT(g)ⁿ - a||_￥ = ||f^mgⁿ - a||_￥{\|T(f)^{m}T(g)^{n} - \alpha\|_{\infty} = \|f^{m}g^{n} - \alpha\|_{\infty}} for all f, g ? S_A{f, g \in S_A}, then there exists a real-algebra isomorphism [(T)\tilde] : A ? B{\tilde{T} : A \rightarrow B} such that [(T)\tilde](f)^d = (T(f)/T(1))^d{\tilde{T}(f)^d = (T(f)/T(1))^d} for every f ? S_A{f \in S_A}. Note that in these results and elsewhere in this paper we do not assume that T(exp A) = exp B.     

Roman domination subdivision number of graphs

A Roman dominating function on a graph G = (V, E) is a function f : V ? {0, 1, 2}f : V \rightarrow \{0, 1, 2\} satisfying the condition that every vertex v for which f(v) = 0 is adjacent to at least one vertex u for which f(u) = 2. The weight of a Roman dominating function is the value w(f) = ?_{v ? V} f(v)w(f) = \sum_{v\in V} f(v). The Roman domination number of a graph G, denoted by _gR(G)_{\gamma R}(G), equals the minimum weight of a Roman dominating function on G. The Roman domination subdivision number sd_gR(G)sd_{\gamma R}(G) is the minimum number of edges that must be subdivided (each edge in G can be subdivided at most once) in order to increase the Roman domination number. In this paper, first we establish upper bounds on the Roman domination subdivision number for arbitrary graphs in terms of vertex degree. Then we present several different conditions on G which are sufficient to imply that $1 \leq sd_{\gamma R}(G) \leq 3$1 \leq sd_{\gamma R}(G) \leq 3. Finally, we show that the Roman domination subdivision number of a graph can be arbitrarily large.     

Absolutely convergent fourier series. An improvement of the Beurling-Helson theorem

We consider the space A(\mathbbT)A(\mathbb{T}) of all continuous functions f on the circle \mathbbT\mathbb{T} such that the sequence of Fourier coefficients [^(f)] = { [^(f)]( k ), k ? \mathbbZ }\hat f = \left\{ {\hat f\left( k \right), k \in \mathbb{Z}} \right\} belongs to l ¹(ℤ). The norm on A(\mathbbT)A(\mathbb{T}) is defined by || f ||_A(\mathbbT) = || [^(f)] ||_{l¹ (\mathbbZ)}\left\| f \right\|_{A(\mathbb{T})} = \left\| {\hat f} \right\|_{l^1 (\mathbb{Z})}. According to the well-known Beurling-Helson theorem, if f:\mathbbT ? \mathbbT\phi :\mathbb{T} \to \mathbb{T} is a continuous mapping such that || e^inf ||_A(\mathbbT) = O(1)\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = O(1), n ∈ ℤ then φ is linear. It was conjectured by Kahane that the same conclusion about φ is true under the assumption that || e^inf ||_A(\mathbbT) = o( log| n | )\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\log \left| n \right|} \right). We show that if $\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right)$\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right), then φ is linear.     

Fourier Series with the Continuous Primitive Integral

Fourier series are considered on the one-dimensional torus for the space of periodic distributions that are the distributional derivative of a continuous function. This space of distributions is denoted A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}) and is a Banach space under the Alexiewicz norm, ||f||_\mathbbT=sup_{|I| ￡ 2p}|ò_I f|\|f\|_{\mathbb{T}}=\sup_{|I|\leq2\pi}|\int_{I} f|, the supremum being taken over intervals of length not exceeding 2π. It contains the periodic functions integrable in the sense of Lebesgue and Henstock–Kurzweil. Many of the properties of L ¹ Fourier series continue to hold for this larger space, with the L ¹ norm replaced by the Alexiewicz norm. The Riemann–Lebesgue lemma takes the form [^(f)](n)=o(n)\hat{f}(n)=o(n) as |n|→∞. The convolution is defined for f ? A_c(\mathbbT)f\in{\mathcal{A}}_{c}(\mathbb{T}) and g a periodic function of bounded variation. The convolution commutes with translations and is commutative and associative. There is the estimate ||f*g||_￥ ￡ ||f||_\mathbbT ||g||_BV\|f\ast g\|_{\infty}\leq\|f\|_{\mathbb{T}} \|g\|_{\mathcal{BV}}. For g ? L¹(\mathbbT)g\in L^{1}(\mathbb{T}), ||f*g||_\mathbbT ￡ ||f||_{\mathbb T} ||g||₁\|f\ast g\|_{\mathbb{T}}\leq\|f\|_{\mathbb {T}} \|g\|_{1}. As well, [^(f*g)](n)=[^(f)](n) [^(g)](n)\widehat{f\ast g}(n)=\hat{f}(n) \hat{g}(n). There are versions of the Salem–Zygmund–Rudin–Cohen factorization theorem, Fejér’s lemma and the Parseval equality. The trigonometric polynomials are dense in A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}). The convolution of f with a sequence of summability kernels converges to f in the Alexiewicz norm. Let D _n be the Dirichlet kernel and let f ? L¹(\mathbbT)f\in L^{1}(\mathbb{T}). Then ||D_n*f-f||_\mathbbT?0\|D_{n}\ast f-f\|_{\mathbb{T}}\to0 as n→∞. Fourier coefficients of functions of bounded variation are characterized. The Appendix contains a type of Fubini theorem.     

A regularity criterion for axially symmetric solutions to the Navier–Stokes equations

The axially symmetric solutions to the Navier–Stokes equations are studied. Assume that either the radial component (v _r ) of the velocity belongs to L _∞(0, T;L ₃(Ω₀)) or v _r /r belongs to L _∞(0, T;L _3/2(Ω₀)), where Ω₀ is a neighborhood of the axis of symmetry. Assume additionally that there exist subdomains Ω _k , k = 1, . . . , N, such that W₀ ì è_{k = 1}^N W_k {\Omega_0} \subset \bigcup\limits_{k = 1}^N {{\Omega_k}} , and assume that there exist constants α ₁, α ₂ such that either || v_r ||_{L￥ ( 0,T;L3( Wk ) )} ￡ a₁ or  || \fracv_rr ||_{L￥ ( 0,T;L3/2( Wk ) )} ￡ a₂ {\left\| {{v_r}} \right\|_{{L_\infty }\left( {0,T;{L_3}\left( {{\Omega_k}} \right)} \right)}} \leq {\alpha_1}\,or\;{\left\| {\frac{{{v_r}}}{r}} \right\|_{{L_\infty }\left( {0,T;{L_{3/2}}\left( {{\Omega_k}} \right)} \right)}} \leq {\alpha_2} for k = 1, . . . , N. Then the weak solution becomes strong ( v ? W₂^2,1( W×( 0,T ) ),?p ? L₂( W×( 0,T ) ) ) \left( {v \in W_2^{2,1}\left( {\Omega \times \left( {0,T} \right)} \right),\nabla p \in {L_2}\left( {\Omega \times \left( {0,T} \right)} \right)} \right) . Bibliography: 28 titles.     

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 (a(t)x￠(t))￠+q₁(t)| y(t-s₁)|^a sgn y(t-s₁) +q₂(t)| y(t-s₂)|^b sgn y(t-s₂)=0,    t 3 t₀,(a(t)x'(t))'+q_1(t)| y(t-\sigma_1)|^{\alpha}\,{\rm sgn}\,y(t-\sigma_1) +q_2(t)| y(t-\sigma_2)|^{\beta}\,{\rm sgn}\,y(t-\sigma_2)=0,\quad t \ge t_0, where x(t) = y(t) + p(t)y(t − τ), τ, σ₁ and σ₂ are nonnegative constants, α > 0, β > 0, and a, p, q ₁, q₂ ? C([t₀, ￥), \Bbb R)q_2\in C([t_0, \infty), {\Bbb R}) . 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.     

On a class of non-uniform average sampling expansions and partial reconstruction in subspaces of L 2(?)

Let ϕ be a function in the Wiener amalgam space W_￥(L₁)\emph{W}_{\infty}(L_1) with a non-vanishing property in a neighborhood of the origin for its Fourier transform [^(f)]\widehat{\phi}, t={t_n}_{n ? \mathbb Z}{\bf \tau}=\{\tau_n\}_{n\in {{\mathbb Z}}} be a sampling set on ℝ and V_f^tV_\phi^{\bf \tau} be a closed subspace of L₂(\mathbbR)L_2(\hbox{\ensuremath{\mathbb{R}}}) containing all linear combinations of τ-translates of ϕ. In this paper we prove that every function f ? V_f^tf\in V_\phi^{\bf \tau} is uniquely determined by and stably reconstructed from the sample set L_f^t(f)={ò_\mathbbR f(t)[`(f(t-t_n))] dt}_{n ? \mathbb Z}L_\phi^{\bf \tau}(f)=\Big\{\int_{\hbox{\ensuremath{\mathbb{R}}}} f(t) \overline{\phi(t-\tau_n)} dt\Big\}_{n\in {{\mathbb Z}}}. As our reconstruction formula involves evaluating the inverse of an infinite matrix we consider a partial reconstruction formula suitable for numerical implementation. Under an additional assumption on the decay rate of ϕ we provide an estimate to the corresponding error.     

Some spectral mapping theorems through local spectral theory

The spectral mapping theorems for Browder spectrum and for semi-Browder spectra have been proved by several authors [14], [29] and [33], by using different methods. We shall employ a local spectral argument to establish these spectral mapping theorems, as well as, the spectral mapping theorem relative to some other classical spectra. We also prove that ifT orT* has the single-valued extension property some of the more important spectra originating from Fredholm theory coincide. This result is extended, always in the caseT orT* has the single valued extension property, tof(T), wheref is an analytic function defined on an open disc containing the spectrum ofT. In the last part we improve a recent result of Curto and Han [10] by proving that for every transaloid operatorT a-Weyl’s theorem holds forf(T) andf(T)*. The research was supported by the International Cooperation Project between the University of Palermo (Italy) and Conicit-Venezuela.     

The logarithmic derivative of a meromorphic function

A well-known lemma on the logarithmic derivative for a function f(z), f(0) = 1 (0 < r="> m( r,\fracf￠f ) < ln+ { \fracT(r,f)r\fracrr- r } + 5.8501.m\left( {r,\frac{{f'}}{f}} \right)< \ln + \left\{ {\frac{{T(\rho ,f)}}{r}\frac{\rho }{{\rho - r}}} \right\} + 5.8501.     

Exact simulation of final, minimal and maximal values of Brownian motion and jump-diffusions with applications to option pricing

We introduce a method for generating (W_x,T^(m,s),m_x,T^(m,s),M_x,T^(m,s))(W_{x,T}^{(\mu,\sigma)},m_{x,T}^{(\mu,\sigma)},M_{x,T}^{(\mu,\sigma)}) , where W_x,T^(m,s)W_{x,T}^{(\mu,\sigma)} denotes the final value of a Brownian motion starting in x with drift μ and volatility σ at some final time T, m_x,T^(m,s) = inf_{0 ￡ t ￡ T}W_x,t^(m,s)m_{x,T}^{(\mu,\sigma)} = {\rm inf}_{0\leq t \leq T}W_{x,t}^{(\mu,\sigma)} and M_x,T^(m,s) = sup_{0 ￡ t ￡ T} W_x,t^(m,s)M_{x,T}^{(\mu,\sigma)} = {\rm sup}_{0\leq t \leq T} W_{x,t}^{(\mu,\sigma)} . By using the trivariate distribution of (W_x,T^(m,s),m_x,T^(m,s),M_x,T^(m,s))(W_{x,T}^{(\mu,\sigma)},m_{x,T}^{(\mu,\sigma)},M_{x,T}^{(\mu,\sigma)}) , we obtain a fast method which is unaffected by the well-known random walk approximation errors. The method is extended to jump-diffusion models. As sample applications we include Monte Carlo pricing methods for European double barrier knock-out calls with continuous reset conditions under both models. The proposed methods feature simple importance sampling techniques for variance reduction.     

Well-Posedness of Fractional Differential Equations on Vector-Valued Function Spaces

We study the well-posedness of the fractional differential equations with infinite delay (P ₂): D^a u(t)=Au(t)+ò^t_-￥a(t-s)Au(s)ds + f(t), (0 ￡ t ￡ 2p){D^\alpha u(t)=Au(t)+\int^{t}_{-\infty}a(t-s)Au(s)ds + f(t), (0\leq t \leq2\pi)}, where A is a closed operator in a Banach space ${X, \alpha > 0, a\in {L}^1(\mathbb{R}_+)}${X, \alpha > 0, a\in {L}^1(\mathbb{R}_+)} and f is an X-valued function. Under suitable assumptions on the parameter α and the Laplace transform of a, we completely characterize the well-posedness of (P ₂) on Lebesgue-Bochner spaces L^p(\mathbbT, X){L^p(\mathbb{T}, X)} and periodic Besov spaces B _p,q^s(\mathbbT, X){{B} _{p,q}^s(\mathbb{T}, X)} .