Module amenability of the second dual and module topological center of semigroup algebras

In this paper we define the module topological center of the second dual $\mathcal{A}^{**}$ of a Banach algebra $\mathcal{A}$ which is a Banach $\mathfrak{A}$ -module with compatible actions on another Banach algebra $\mathfrak{A}$ . We calculate the module topological center of ? ¹(S)^**, as an ? ¹(E)-module, for an inverse semigroup S with an upward directed set of idempotents E. We also prove that ? ¹(S)^** is ? ¹(E)-module amenable if and only if an appropriate group homomorphic image of S is finite.     

Descriptions of exceptional sets in the circles for functions from the Bergman space

Let D be a domain in $\mathbb{C}^2 $ . For w ∈ $\mathbb{C}$ , let D_w=\{z \in $\mathbb{C}$ \, \vert \, (z,w)\in D\}. If f is a holomorphic and square-integrable function in D, then the set E(D, f) of all w such that f(., w) is not square-integrable in D _w is of measure zero. We call this set the exceptional set for f. In this note we prove that for every 0 < r < 1, and every G _δ-subset E of the circle C(0,r)=\{z \in $\mathbb{C}$ \, \vert \, \vert z \vert = r \},there exists a holomorphic square-integrable function f in the unit ball B in $\mathbb{C}$ ² such that E(B, f) = E.     

A Representation of a Point Symmetric 2-Structure by a Quasi-Domain

In a symmetric 2-structure ${\Sigma =(P,\mathfrak{G}_1,\mathfrak{G}_2,\mathfrak{K})}$ we fix a chain ${E \in \mathfrak{K}}$ and define on E two binary operations “+” and “·”. Then (E,+) is a K-loop and for ${E^* := E {\setminus}\{o\}}$ , (E ^*,·) is a Bol loop. If ${\Sigma}$ is even point symmetric then (E,+ ,·) is a quasidomain and one has the set ${Aff(E,+,\cdot) := \{a^+\circ b^\bullet | a \in E, b \in E^*\}}$ of affine permutations. From Aff(E, +, ·) one can reproduce via a “chain derivation” the point symmetric 2-structure ${\Sigma}$ .     

A quantitative version of Krein’s theorems for Fréchet spaces

For a Banach space E and its bidual space E ^′′, the following function ${k(H) : = {\rm sup}_{y\in\overline{H}^{\sigma(E^{\prime \prime},E^{\prime})}} {\rm inf}_{x\in E} \|y - x\|}$ defined on bounded subsets H of E measures how far H is from being σ(E, E′)-relatively compact in E. This concept, introduced independently by Granero [10] and Cascales et al. [7], has been used to study a quantitative version of Krein’s theorem for Banach spaces E and spaces C _p (K) over compact K. In the present paper, a quantitative version of Krein’s theorem on convex envelopes coH of weakly compact sets H is proved for Fréchet spaces, i.e. metrizable and complete locally convex spaces. For a Fréchet space E the above function k(H) reads as follows ${k(H) := {\rm sup}\{d(h, E) : h \in \overline{H}^{\sigma(E^{\prime \prime},E^{\prime})}\},}$ where d(h, E) is the natural distance of h to E in the bidual E ^′′. The main result of the paper is the following theorem: For a bounded set H in a Fréchet space E, the following inequality holds ${k(coH) < (2^{n+1} - 2) k(H) + \frac{1}{2^{n}}}$ for all ${n \in \mathbb{N}}$ . Consequently this yields also the following formula ${k(coH) \leq \sqrt{k(H)}(3 - 2\sqrt{k(H)})}$ . Hence coH is weakly relatively compact provided H is weakly relatively compact in E. This extends a quantitative version of Krein’s theorem for Banach spaces (obtained by Fabian, Hajek, Montesinos, Zizler, Cascales, Marciszewski, and Raja) to the class of Fréchet space. We also define and discuss two other measures of weak non-compactness lk(H) and k′(H) for a Fréchet space and provide two quantitative versions of Krein’s theorem for both functions.     

Absolutely continuous operators on function spaces and vector measures

Let (Ω, Σ, μ) be a finite atomless measure space, and let E be an ideal of L ⁰(μ) such that ${L^\infty(\mu) \subset E \subset L^1(\mu)}$ . We study absolutely continuous linear operators from E to a locally convex Hausdorff space ${(X, \xi)}$ . Moreover, we examine the relationships between μ-absolutely continuous vector measures m : Σ → X and the corresponding integration operators T _m : L ^∞(μ) → X. In particular, we characterize relatively compact sets ${\mathcal{M}}$ in ca _μ (Σ, X) (= the space of all μ-absolutely continuous measures m : Σ → X) for the topology ${\mathcal{T}_s}$ of simple convergence in terms of the topological properties of the corresponding set ${\{T_m : m \in \mathcal{M}\}}$ of absolutely continuous operators. We derive a generalized Vitali–Hahn–Saks type theorem for absolutely continuous operators T : L ^∞(μ) → X.     

Gamma-convergence of nonlocal perimeter functionals

Given ${\Omega\subset\mathbb{R}^{n}}$ open, connected and with Lipschitz boundary, and ${s\in (0, 1)}$ , we consider the functional $$\mathcal{J}_s(E,\Omega)\,=\, \int_{E\cap \Omega}\int_{E^c\cap\Omega}\frac{dxdy}{|x-y|^{n+s}}+\int_{E\cap \Omega}\int_{E^c\cap \Omega^c}\frac{dxdy}{|x-y|^{n+s}}\,+ \int_{E\cap \Omega^c}\int_{E^c\cap \Omega}\frac{dxdy}{|x-y|^{n+s}},$$ where ${E\subset\mathbb{R}^{n}}$ is an arbitrary measurable set. We prove that the functionals ${(1-s)\mathcal{J}_s(\cdot, \Omega)}$ are equi-coercive in ${L^1_{\rm loc}(\Omega)}$ as ${s\uparrow 1}$ and that $$\Gamma-\lim_{s\uparrow 1}(1-s)\mathcal{J}_s(E,\Omega)=\omega_{n-1}P(E,\Omega),\quad \text{for every }E\subset\mathbb{R}^{n}\,{\rm measurable}$$ where P(E, ??) denotes the perimeter of E in ?? in the sense of De Giorgi. We also prove that as ${s\uparrow 1}$ limit points of local minimizers of ${(1-s)\mathcal{J}_s(\cdot,\Omega)}$ are local minimizers of P(·, ??).     

C∞ functions in infinite dimension and linear partial differential difference equations with constant coefficients

This work is closed to [2] where a dense linear subspace \(\mathbb{E}\) (E) of the space ?(E) of the Silva C ^∞ functions on E is defined; the dual of \(\mathbb{E}\) (E) is described via the Fourier transform by a Paley-Wiener-Schwartz theorem which is formulated exactly in the same way as in the finite dimensional case. Here we prove existence and approximation result for solutions of linear partial differential difference equations in \(\mathbb{E}\) (E) with constant coefficients. We also obtain a Hahn-Banach type extension theorem for some C^∞ functions defined on a closed subspace of a DFN space, which is analogous to a Boland’s result in the holomorphic case [1].     

Diameter of the set of midpoints of chords of a bounded closed set

The estimate is obtained for the diameter d(S_n(a)) of the set S_n(a) of midpoints of chords of length ≥a(0n, namely $$d(S_n (a)) \leqslant \left\{ \begin{gathered} 1 - a^2 /2, n = 2, \hfill \\ \sqrt {1 - a^2 /2,} n \geqslant 3, \hfill \\ \end{gathered} \right.$$ and it is shown that the inequality cannot be improved.     

Binary Labeling of Graphs

Let G = (V, E) be a graph. A mapping f: E(G) → {0, l} ^m is called a mod 2 coding of G, if the induced mapping g: V(G) → {0, l} ^m , defined as \(g(v) = \sum\limits_{u \in V,uv \in E} {f(uv)}\) , assigns different vectors to the vertices of G. Note that all summations are mod 2. Let m(G) be the smallest number m for which a mod 2 coding of G is possible. Trivially, m(G) ≥ ?Log₂ |V|?. Recently, Aigner and Triesch proved that m(G) ≤ ?Log₂ |V|? + 4. In this paper, we determine m(G). More specifically, we prove that if each component of G has at least three vertices, then $$mG = \left\{ {\begin{array}{*{20}c} {k,} & {if \left| V \right| \ne 2^k - 2} \\ {k + 1,} & {else} \\ \end{array} ,} \right.$$ where k = ?Log₂ |V|?.     

Recurrent Dirichlet Forms and Markov Property of Associated Gaussian Fields

For the extended Dirichlet space \(\mathcal {F}_{e}\) of a general irreducible recurrent regular Dirichlet form \((\mathcal {E},\mathcal {F})\) on L ²(E;m), we consider the family \(\mathbb {G}(\mathcal {E})=\{X_{u};u\in \mathcal {F}_{e}\}\) of centered Gaussian random variables defined on a probability space \(({\Omega }, \mathcal {B}, \mathbb {P})\) indexed by the elements of \(\mathcal {F}_{e}\) and possessing the Dirichlet form \(\mathcal {E}\) as its covariance. We formulate the Markov property of the Gaussian field \(\mathbb {G}(\mathcal {E})\) by associating with each set A ? E the sub-σ-field σ(A) of \(\mathcal {B}\) generated by X _u for every \(u\in \mathcal {F}_{e}\) whose spectrum s(u) is contained in A. Under a mild absolute continuity condition on the transition function of the Hunt process associated with \((\mathcal {E}, \mathcal {F})\), we prove the equivalence of the Markov property of \(\mathbb {G}(\mathcal {E})\) and the local property of \((\mathcal {E},\mathcal {F})\). One of the key ingredients in the proof is in that we construct potentials of finite signed measures of zero total mass and show that, for any Borel set B with m(B) >?0, any function \(u\in \mathcal {F}_{e}\) with s(u) ? B can be approximated by a sequence of potentials of measures supported by B.     

Stationary points of O’Hara’s knot energies

In this article we study the regularity of stationary points of the knot energies E ^(α) introduced by O’Hara (Topology 30(2):241–247, 1991; Topol Appl 48(2):147–161, 1992; Topol Appl 56(1):45–61, 1994) in the range ${\alpha\in(2,3)}$ . In a first step we prove that E ^(α) is C ¹ on the set of all regular embedded curves belonging to ${{H^{(\alpha+1)/2,2}(\mathbb {R}{/}\mathbb {Z}, \mathbb {R}^n)}}$ and calculate its derivative. After that we use the structure of the Euler-Lagrange equation to study the regularity of stationary points of E ^(α) plus a positive multiple of the length. We show that stationary points of finite energy are of class C ^∞—so especially all local minimizers of E ^(α) among curves with fixed length are smooth.     

An inequality for the function π(n)

We prove that the inequality $\pi ^2 \left( m \right) + \pi ^2 \left( n \right) \leqslant \tfrac{5} {4}\pi ^2 \left( {m + n} \right)$ holds for all integers m, n ≥ 2. The constant factor 5/4 is sharp. This complements a result of Panaitopol, who showed in 2001 that ½ π ²(m+ n) ≤ π ²(m) + π ²(n) is valid for all m, n ≥ 2. Here, as usual, π(n) denotes the number of primes not exceeding n.     

On the asymptotic behavior of solutions of Emden–Fowler equations on time scales

Consider the Emden-Fowler dynamic equation $$ x^{\Delta\Delta}(t)+p(t)x^\alpha(t)=0,\:\:\alpha >0 , \qquad \qquad \qquad \qquad (0.1) $$ where ${p\in C_{rd}([t_0,\infty)_{\mathbb{T}},\mathbb{R}), \alpha}$ is the quotient of odd positive integers, and ${\mathbb{T}}$ denotes a time scale which is unbounded above and satisfies an additional condition (C) given below. We prove that if ${\int^\infty_{t_0}t^\alpha |p(t)|\Delta t<\infty}$ (and when ???=?1 we also assume lim _t???? tp(t)??(t)?=?0), then (0.1) has a solution x(t) with the property that $$ \lim_{t\rightarrow\infty} \frac{x(t)}{t}=A\neq 0.$$      

On the degree of complex rational approximation to real functions

Iff∈C[?1, 1] is real-valued, letE _R ^mn (f) andE _C ^mn (f) be the errors in best approximation tof in the supremum norm by rational functions of type (m, n) with real and complex coefficients, respectively. We show that form≥n?1≥0 $$\gamma _{mn} = \inf \{ {{E_{mn}^C (f)} \mathord{\left/ {\vphantom {{E_{mn}^C (f)} {E_{mn}^R (f)}}} \right. \kern-\nulldelimiterspace} {E_{mn}^R (f)}}:f \in C[ - 1,1]\} = \tfrac{1}{2}.$$      

Unbounded graph-Laplacians in energy space, and their extensions

Our purpose is to develop computational tools for determining spectra for operators associated with infinite weighted graphs. While there is a substantial literature concerning graph-Laplacians on infinite networks, much less developed is the distinction between the operator theory for the ? ² space of the set V of vertices vs the case when the Hilbert space is defined by an energy form. A network is a triple (V,E,c) where V is a (typically countable infinite) set of vertices in a graph, with E denoting the set of edges. The function c is defined on E. It is given at the outset, symmetric and positive on E. We introduce a graph-Laplacian ??, and an energy Hilbert space $\mathcal{H}_{E}$ (both depending on c). While it is known that ?? is essentially selfadjoint on its natural domain in ? ²(V), its realization in $\mathcal{H}_{E}$ is not. We give a characterization of the Friedrichs extension of the $\mathcal{H}_{E}$ -Laplacian, and prove a formula for its computation. We obtain several corollaries regarding the diagonalization of infinite matrices. To every weighted finite-interaction countable infinite graph there is a naturally associated infinite banded matrix. With the use of the Friedrichs spectral resolution, we obtain a diagonalization formula for this family of infinite matrices. With examples we give concrete illustrations of both spectral types, and spectral multiplicities.     

Tensorial Function Theory: From Berezin Transforms to Taylor’s Taylor Series and Back

Let H ^∞(E) be the Hardy algebra of a W*-correspondence E over a W*-algebra M. Then the ultraweakly continuous completely contractive representations of H ^∞(E) are parametrized by certain sets ${{\mathcal{AC}}(\sigma)}$ indexed by NRep(M)—the normal *-representations σ of M. Each set ${{\mathcal{AC}}(\sigma)}$ has analytic structure, and each element ${F \in H^{\infty}(E)}$ gives rise to an analytic operator-valued function ${\widehat{F}_{\sigma}}$ on ${{\mathcal{AC}}(\sigma)}$ that we call the σ-Berezin transform of F. The sets ${\{{\mathcal{AC}}(\sigma)\}_{\sigma\in\Sigma}}$ and the family of functions ${\{\widehat{F}_{\sigma}\}_{\sigma\in\Sigma}}$ exhibit “matricial structure” that was introduced by Joeseph Taylor in his work on noncommutative spectral theory in the early 1970s. Such structure has been exploited more recently in other areas of free analysis and in the theory of linear matrix inequalities. Our objective here is to determine the extent to which the matricial structure characterizes the Berezin transforms.     

On the Generalized Feynman–Kac Transformation for?Nearly Symmetric Markov Processes

Suppose that X is a right process which is associated with a non-symmetric Dirichlet form $(\mathcal{E},D(\mathcal{E}))$ on L ²(E;m). For $u\in D(\mathcal{E})$ , we have Fukushima??s decomposition: $\tilde{u}(X_{t})-\tilde{u}(X_{0})=M^{u}_{t}+N^{u}_{t}$ . In this paper, we investigate the strong continuity of the generalized Feynman?CKac semigroup defined by $P^{u}_{t}f(x)=E_{x}[e^{N^{u}_{t}}f(X_{t})]$ . Let $Q^{u}(f,g)=\mathcal{E}(f,g)+\mathcal{E}(u,fg)$ for $f,g\in D(\mathcal{E})_{b}$ . Denote by J ₁ the dissymmetric part of the jumping measure J of $(\mathcal{E},D(\mathcal{E}))$ . Under the assumption that J ₁ is finite, we show that $(Q^{u},D(\mathcal{E})_{b})$ is lower semi-bounded if and only if there exists a constant ?? ₀??0 such that $\|P^{u}_{t}\|_{2}\leq e^{\alpha_{0}t}$ for every t>0. If one of these conditions holds, then $(P^{u}_{t})_{t\geq0}$ is strongly continuous on L ²(E;m). If X is equipped with a differential structure, then this result also holds without assuming that J ₁ is finite.     

The Concentration Function of Additive Functions with Special Weight

Suppose that $${g\left( n \right)}$$ is an additive real-valued function, W(N) = 4+ $$\mathop {\min }\limits_\lambda $$ ( λ₂ + $$\sum\limits_{p < N} {\frac{1}{2}} $$ min (1, ( g(p) - λlog p)²), E(N) = 4+1 $$\sum\limits_{\mathop {p < N,}\limits_{g(p) \ne 0} } {\frac{1}{p}.} $$ In this paper, we prove the existence of constants C₁, C₂ such that the following inequalities hold: $\mathop {\sup }\limits_a \geqslant \left| {\left\{ {n, m, k: m, k \in \mathbb{Z},n \in \mathbb{N},n + m^2 + k^2 } \right.} \right. = \left. {\left. {N,{\text{ }}g(n) \in [a,a + 1)} \right\}} \right| \leqslant \frac{{C_1 N}}{{\sqrt {W\left( N \right)} }},$ $\mathop {\sup }\limits_a \geqslant \left| {\left\{ {n, m, k: m, k \in \mathbb{Z},n \in \mathbb{N},n + m^2 + k^2 } \right.} \right. = \left. {\left. {N,{\text{ }}g(n) = a} \right\}} \right| \leqslant \frac{{C_2 N}}{{\sqrt {E\left( N \right)} }},$ . The obtained estimates are order-sharp.     

A Hardy type inequality for W m,1(0, 1) functions

In this paper, we consider functions ${u\in W^{m,1}(0,1)}$ where m ≥ 2 and u(0) = Du(0) = · · · = D ^m-1 u(0) = 0. Although it is not true in general that ${\frac{D^ju(x)}{x^{m-j}} \in L^1(0,1)}$ for ${j\in \{0,1,\ldots,m-1\}}$ , we prove that ${\frac{D^ju(x)}{x^{m-j-k}} \in W^{k,1}(0,1)}$ if k ≥ 1 and 1 ≤ j + k ≤ m, with j, k integers. Furthermore, we have the following Hardy type inequality, $$\left\|{D^k\left({\frac{D^ju(x)}{x^{m-j-k}}}\right)}\right\|_{L^1(0,1)} \leq \frac {(k-1)!}{(m-j-1)!} \|{D^mu}\|_{L^1(0,1)},$$ where the constant is optimal.     

Multiobjective programming and penalty functions

This paper generalizes the penalty function method of Zang-will for scalar problems to vector problems. The vector penalty function takes the form $$g(x,\lambda ) = f(x) + \lambda ^{ - 1} P(x)e,$$ wheree ?R ^m, with each component equal to unity;f:R ⁿ →R ^m, represents them objective functions {f ⁱ} defined onX \( \subseteq \) R ⁿ; λ ∈R ¹, λ>0;P:R ⁿ →R ¹ X \( \subseteq \) Z \( \subseteq \) R ⁿ,P(x)≦0, ∨x ∈R ⁿ,P(x) = 0 ?x ∈X. The paper studies properties of {E (Z, λ _r )} for a sequence of positive {λ _r } converging to 0 in relationship toE(X), whereE(Z, λ _r ) is the efficient set ofZ with respect tog(·, λ_r) andE(X) is the efficient set ofX with respect tof. It is seen that some of Zangwill's results do not hold for the vector problem. In addition, some new results are given.