Asymptotic behavior of the p-torsion functions as p goes to 1

Let \({\Omega}\) be a Lipschitz bounded domain of \({\mathbb{R}^N}\), \({N\geq2}\), and let \({u_p\in W_0^{1,p}(\Omega)}\) denote the p-torsion function of \({\Omega}\), p > 1. It is observed that the value 1 for the Cheeger constant \({h(\Omega)}\) is threshold with respect to the asymptotic behavior of u_p, as \({p\rightarrow 1^+}\), in the following sense: when \({h(\Omega) > 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_{p}\right\| _{L^\infty(\Omega)}=0}\), and when \({h(\Omega) < 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega)}=\infty}\). In the case \({h(\Omega)=1}\), it is proved that \({\limsup_{p\rightarrow1^+}\left\|u_p\right\|_{L^\infty(\Omega)}<\infty}\). For a radial annulus \({\Omega_{a,b}}\), with inner radius a and outer radius b, it is proved that \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega_{a,b})}=0}\) when \({h(\Omega_{a,b})=1}\).     

Integral means of weighted Hardy–Bloch functions

Let \({\mathcal{B}^\omega(p, q, B_d)}\) denote the \({\omega}\)-weighted Hardy–Bloch space on the unit ball B _d of \({\mathbb{C}^d}\), \({d\ge 1}\). For \({2< p,q < \infty}\) and \({f\in \mathcal{B}^\omega(p, q, B_d)}\), we obtain sharp estimates on the growth of the p-integral means M _p (f, r) as \({r\to 1-}\).     

Reducing Subspaces of Multiplication Operators on the Dirichlet Space

In this paper, we study the reducing subspaces for the multiplication operator by a finite Blaschke product \({\phi}\) on the Dirichlet space D. We prove that any two distinct nontrivial minimal reducing subspaces of \({M_\phi}\) are orthogonal. When the order n of \({\phi}\) is 2 or 3, we show that \({M_\phi}\) is reducible on D if and only if \({\phi}\) is equivalent to \({z^n}\). When the order of \({\phi}\) is 4, we determine the reducing subspaces for \({M_\phi}\), and we see that in this case \({M_\phi}\) can be reducible on D when \({\phi}\) is not equivalent to \({z^4}\). The same phenomenon happens when the order n of \({\phi}\) is not a prime number. Furthermore, we show that \({M_\phi}\) is unitarily equivalent to \({M_{z^n} (n > 1)}\) on D if and only if \({\phi = az^n}\) for some unimodular constant a.     

Note on Bernoulli numbers associated to some Dirichlet character of prime conductor

We fix an integer \({n \geq 1}\) and a divisor m of n such that n/m is odd. Let p be a prime number of the form \({p=2n\ell+1}\) for some odd prime number \({\ell}\) with \({\ell \nmid m}\). Let \({S=pB_{1,2m\ell}}\) be the p times of the generalised Bernoulli number associated to an odd Dirichlet character of conductor p and order \({2m\ell}\), which is an algebraic integer of the \({2m\ell}\)th cyclotomic field. It is known that \({S \neq 0}\). More strongly, we show that when \({\ell}\) is sufficiently large, the trace of \({\zeta^{-1}S}\) to the \({2m}\)th cyclotomic field does not vanish for any\({\ell}\)th root \({\zeta}\) of unity. We also show a related result on indivisibility of relative class numbers.     

Local Inverse Scattering at a Fixed Energy for Radial Schrödinger Operators and Localization of the Regge Poles

We study inverse scattering problems at a fixed energy for radial Schrödinger operators on \({\mathbb{R}^n}\), \({n \geq 2}\). First, we consider the class \({\mathcal{A}}\) of potentials q(r) which can be extended analytically in \({\Re z \geq 0}\) such that \({\mid q(z)\mid \leq C \ (1+ \mid z \mid )^{-\rho}}\), \({\rho > \frac{3}{2}}\). If q and \({\tilde{q}}\) are two such potentials and if the corresponding phase shifts \({\delta_l}\) and \({\tilde{\delta}_l}\) are super-exponentially close, then \({q=\tilde{q}}\). Second, we study the class of potentials q(r) which can be split into q(r) = q ₁(r) + q ₂(r) such that q ₁(r) has compact support and \({q_2 (r) \in \mathcal{A}}\). If q and \({\tilde{q}}\) are two such potentials, we show that for any fixed \({a>0, {\delta_l - \tilde{\delta}_l \ = \ o \left(\frac{1}{l^{n-3}}\ \left({\frac{ae}{2l}}\right)^{2l}\right)}}\) when \({l \rightarrow +\infty}\) if and only if \({q(r)=\tilde{q}(r)}\) for almost all \({r \geq a}\). The proofs are close in spirit with the celebrated Borg–Marchenko uniqueness theorem, and rely heavily on the localization of the Regge poles that could be defined as the resonances in the complexified angular momentum plane. We show that for a non-zero super-exponentially decreasing potential, the number of Regge poles is always infinite and moreover, the Regge poles are not contained in any vertical strip in the right-half plane. For potentials with compact support, we are able to give explicitly their asymptotics. At last, for potentials which can be extended analytically in \({\Re z \geq 0}\) with \({\mid q(z)\mid \leq C (1+ \mid z \mid)^{-\rho}}\), \({\rho >1}\), we show that the Regge poles are confined in a vertical strip in the complex plane.     

A note on standard modules and Vogan L-packets

Let F be a non-Archimedean local field of characteristic 0, let G be the group of F-rational points of a connected reductive group defined over F and let \({G\prime}\) be the group of F-rational points of its quasi-split inner form. Given standard modules \({I(\tau, \nu )}\) and \({I(\tau\prime, \nu\prime)}\) for G and \({G\prime}\) respectively with \({\tau\prime}\) a generic tempered representation, such that the Harish-Chandra \({\mu}\)-function of a representation in the supercuspidal support of \({\tau}\) agrees with the one of a generic essentially square-integral representation in some Jacquet module of \({\tau\prime}\) (after a suitable identification of the underlying spaces under which \({\nu = \nu\prime}\)), we show that \({I(\tau, \nu)}\) is irreducible whenever \({I(\tau\prime, \nu\prime)}\) is. The conditions are satisfied if the Langlands quotients \({J(\tau, \nu})\) and \({J(\tau\prime, \nu\prime)}\) of respectively \({I(\tau, \nu)}\) and \({I(\tau\prime, \nu\prime)}\) lie in the same Vogan L-packet (whenever this Vogan L-packet is defined), proving that, for any Vogan L-packet, all the standard modules with Langlands quotient in a given Vogan L-packet are irreducible, if and only if this Vogan L-packet contains a generic representation. This result for generic Vogan L-packets was proven for quasi-split orthogonal and symplectic groups by Moeglin-Waldspurger and used in their proof of the general case of the local Gan-Gross-Prasad conjectures for these groups.     

Arens regularity of projective tensor products

For completely contractive Banach algebras A and B (respectively operator algebras A and B), the necessary and sufficient conditions for the operator space projective tensor product \({A\widehat{\otimes}B}\) (respectively the Haagerup tensor product \({A\otimes^{h}B}\)) to be Arens regular are obtained. Using the non-commutative Grothendieck inequality, we show that, for C*-algebras A and B, \({A\otimes^{\gamma} B}\) is Arens regular if \({A\widehat{\otimes}B}\) and \({A\widehat{\otimes}B^{op}}\) are Arens regular whereas \({A\widehat{\otimes}B}\) is Arens regular if and only if \({A\otimes^{h}B}\) and \({B\otimes^{h}A}\) are, where \({\otimes^h}\), \({\otimes^{\gamma}}\), and \({\widehat{\otimes}}\) are the Haagerup, the Banach space projective tensor norm, and the operator space projective tensor norm, respectively.     

Uniform in bandwidth exact rates for a class of kernel estimators

Given an i.i.d sample (Y _i , Z _i ), taking values in \({\mathbb{R}^{d'}\times\mathbb{R}^d}\), we consider a collection Nadarya–Watson kernel estimators of the conditional expectations \({\mathbb{E}( <\,c_g(z),g(Y)>+d_g(z)\mid Z=z)}\), where z belongs to a compact set \({H\subset \mathbb{R}^d}\), g a Borel function on \({\mathbb{R}^{d'}}\) and c _g (·), d _g (·) are continuous functions on \({\mathbb{R}^d}\). Given two bandwidth sequences \({h_n<\mathfrak{h}_n}\) fulfilling mild conditions, we obtain an exact and explicit almost sure limit bounds for the deviations of these estimators around their expectations, uniformly in \({g\in\mathcal{G},\;z\in H}\) and \({h_n\le h\le \mathfrak{h}_n}\) under mild conditions on the density f _Z , the class \({\mathcal{G}}\), the kernel K and the functions c _g (·), d _g (·). We apply this result to prove that smoothed empirical likelihood can be used to build confidence intervals for conditional probabilities \({\mathbb{P}( Y\in C\mid Z=z)}\), that hold uniformly in \({z\in H,\; C\in \mathcal{C},\; h\in [h_n,\mathfrak{h}_n]}\). Here \({\mathcal{C}}\) is a Vapnik–Chervonenkis class of sets.     

On certain functional equations related to Jordan triple $${(\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 \({\theta}\) and \({\phi}\) be automorphisms of R. Suppose \({T:R\rightarrow R}\) is an additive mapping satisfying the relation \({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\in R}\). In this case T is of the form \({2T(x)=q\theta (x)+\phi (x)q}\), for all \({x\in R}\) and some fixed element \({q\in Q_{s}}\).     

Evolution of curvatures on a surface with boundary to prescribed functions

Let (M, g ₀) be a compact Riemann surface with boundary and with negative Euler characteristic. Let f(x) be a strictly negative smooth function on \({\bar{M}}\) and denote by \({\sigma(x)}\) the value of f in the interior and \({\zeta(x)}\) the value of f on the boundary. By studying the evolution of curvatures on M, we prove that there exist a constant \({\lambda_\infty}\) and a conformal metric \({g_\infty}\) such that \({\lambda_\infty\sigma(x)}\) and \({\lambda_\infty\zeta(x)}\) can be realized as the Gaussian curvature and boundary geodesic curvature of \({g_\infty}\) respectively.     

Limit theorems for multidimensional renewal sets

Given a sequence \({\mathcal{U} =\{U_n: n \in \omega\}}\) of non-empty open subsets of a space X, a set \({\{x_n : n \in \omega\}}\) is a selection of \({\mathcal{U}}\) if \({x_n \in U_n}\) for every \({n \in \omega}\). We show that a space X is uncountable if and only if every sequence of non-empty open subsets of C _p (X) has a closed discrete selection. The same statement is not true for \({C_p(X,[0,1])}\) so we study when the above selection property (which we call discrete selectivity) holds in \({C_p(X,[0,1])}\). We prove, among other things, that \({C_p(X, [0,1])}\) is discretely selective if X is an uncountable Lindelöf \({\Sigma}\)-space. We also give a characterization, in terms of the topology of X, of discrete selectivity of \({C_p(X,[0,1])}\) if X is an \({\omega}\)-monolithic space of countable tightness.     

On complete sequences

A sequence A of nonnegative integers is called complete if all sufficiently large integers can be represented as the sum of distinct terms taken form A. For a sequence \({S=\{s_{1}, s_{2}, \dots\}}\) of positive integers and a positive real number α, let S _α denote the sequence \({\{\lfloor\alpha s_{1}\rfloor, \lfloor\alpha s_{2}\rfloor, \dots\}}\), where \({\lfloor x \rfloor}\) denotes the greatest integer not greater than x. Let \({{U_S = \{\alpha \mid S_\alpha} \, is complete\}}\). Hegyvári [6] proved that if \({\lim_{n\to\infty} (s_{n+1}-s_{n})=+ \infty}\), \({s_{n+1} < \gamma s_{n}}\) for all integers \({n \geqq n_{0}}\), where \({1 < \gamma < 2}\), and \({U_{S}\ne\emptyset}\), then \({\mu(U_{S}) > 0}\), where \({\mu(U_{S})}\) is the Lebesgue measure of U _S . Yong-Gao Chen and the first author [4] proved that, if \({s_{n+1} < \gamma s_{n}}\) for all integers \({n \geqq n_{0}}\), where \({1 < \gamma \leqq 7/4=1.75}\), then \({\mu(U_{S}) > 0}\). In this paper, we prove that the conclusion holds for \({1 < \gamma \leqq \sqrt[4]{13}=1.898\dots\;}\).     

Lifting Fixed Points of Completely Positive Semigroups

Let \({\{\phi_s\}_{s\in S}}\) be a commutative semigroup of completely positive, contractive, and weak*-continuous linear maps acting on a von Neumann algebra N. Assume there exists a semigroup \({\{\alpha_s\}_{s\in S}}\) of weak*-continuous *-endomorphisms of some larger von Neumann algebra \({M\supset N}\) and a projection \({p\in M}\) with N = pMp such that α _s (1 ? p) ≤ 1 ? p for every \({s\in S}\) and \({\phi_s(y)=p\alpha_s(y)p}\) for all \({y\in N}\). If \({\inf_{s \in S}\alpha_s(1-p)=0}\) then we show that the map \({E:M\to N}\) defined by E(x) = pxp for \({x\in M}\) induces a complete isometry between the fixed point spaces of \({\{\alpha_s\}_{s\in S}}\) and \({\{\phi_s\}_{s\in S}}\).     

On estimation of delay location

Assume that we observe a stationary Gaussian process X(t), \({t \in [-r, T]}\) , which satisfies the affine stochastic delay differential equation

$d X(t) = \int\limits_{[-r,0]}X(t+u)\, a_\vartheta (du)\,dt +dW(t), \quad t\ge 0,$

where W(t), t ≥ 0, is a standard Wiener process independent of X(t), \({t\in [-r, 0]}\) , and \({a_\vartheta}\) is a finite signed measure on [?r, 0], \({\vartheta\in\Theta}\) . The parameter \({\vartheta}\) is unknown and has to be estimated based on the observation. In this paper we consider the case where \({\Theta=(\vartheta_0,\vartheta_1)}\) , \({-\infty\,<\,\vartheta_0 <0 \,<\,\vartheta_1\,<\,\infty}\) , and the measures \({a_\vartheta}\) are of the form

$a_\vartheta = a+b_\vartheta-b,$

where a and b are finite signed measure on [?r, 0] and \({b_\vartheta}\) is the translate of b by \({\vartheta}\) . We study the limit behaviour of the normalized likelihoods

$Z_{T,\vartheta}(u) = \frac{dP_T^{\vartheta+\delta_T u}}{dP_T^\vartheta}$

as T→ ∞, where \({P_T^\vartheta}\) is the distribution of the observation if the true value of the parameter is \({\vartheta}\) . A necessary and sufficient condition for the existence of a rescaling function δ _T such that \({Z_{T,\vartheta}(u)}\) converges in distribution to an appropriate nondegenerate limiting function \({Z_{\vartheta}(u)}\) is found. It turns out that then the limiting function \({Z_{\vartheta}(u)}\) is of the form

$Z_\vartheta(u)=\exp\left(B^H(u) - E[B^H(u)]^2/2\right),$

where \({H\in[1/2,1]}\) and B ^H (u), \({u\in\mathbb{R}}\) , is a fractional Brownian motion with index H, and δ _T  = T ^?1/(2H) ?(T) with a slowly varying function ?. Every \({H\in[1/2,1]}\) may occur in this framework. As a consequence, the asymptotic behaviour of maximum likelihood and Bayes estimators is found.

     

The Katchalski–Lewis transversal problem for regular polygons

If every k-membered subfamily of a family of plane convex bodies has a line transversal, then we say that this family has property T(k). We say that a family \({\mathcal{F}}\) has property \({T-m}\), if there exists a subfamily \({\mathcal{G} \subset \mathcal{F}}\) with \({|\mathcal{F} - \mathcal{G}| \le m}\) admitting a line transversal. Heppes [7] posed the problem whether there exists a convex body K in the plane such that if \({\mathcal{F}}\) is a finite T(3)-family of disjoint translates of K, then m = 3 is the smallest value for which \({\mathcal{F}}\) has property \({T-m}\). In this paper, we study this open problem in terms of finite T(3)-families of pairwise disjoint translates of a regular 2n-gon \({(n \ge 5)}\). We find out that, for \({5 \le n \le 34}\), the family has property \({T - 3}\) ; for \({n \ge 35}\), the family has property \({T - 2}\).     

The NZ property and D-spaces

We introduce a property which we denote by NZ\({(\kappa)}\), where \({\kappa}\) is a cardinal. We show that chain neighborhood (F) spaces and monotonically metacompact spaces satisfy NZ(1), and that NZ\({(\kappa)}\) implies D if \({\kappa \leq \omega}\). Also, NZ\({(\kappa)}\) is closed under arbitrary subspaces and finite products, and countable products if \({\kappa}\) is infinite. It follows that any countable product of chain neighborhood (F) spaces and monotonically metacompact spaces is hereditarily a D-space. This provides a strong positive answer to a question of X. Yuming. We also prove that spaces satisfying NZ\({(\kappa)}\) are metacompact if \({\kappa}\) is finite, and meta-Lindelöf if \({\kappa = \omega}\).     

Goldbach’s conjecture in arithmetic progressions: number and size of exceptional prime moduli

Set \({T=N^{\frac{1}{3}-\epsilon}}\). It is proved that for all but \({\ll TL^{-H},\,H > 0}\), exceptional prime numbers \({k\leq T}\) and almost all integers b ₁, b ₂ co-prime to k, almost all integers \({n\sim N}\) satisfying \({n\equiv b_{1}+b_{2}(mod\,k)}\) can be written as the sum of two primes p ₁ and p ₂ satisfying \({p_{i}\equiv b_{i}(mod\,k),\,i=1,2}\). For prime numbers \({k\leq N^{\frac{5}{24}-\epsilon}}\), this result is even true for all but \({\ll (\log\,N)^{D}}\) primes k and all integers b ₁, b ₂ co-prime to k.     

Complex homomorphisms on self-conjugate algebras of functions

Let X be a non-void set and A be a subalgebra of \({\mathbb{C}^{X}}\) . We call a \({\mathbb{C}}\) -linear functional \({\varphi}\) on A a 1-evaluation if \({\varphi(f) \in f(X) }\) for all \({f\in A}\) . From the classical Gleason–Kahane–?elazko theorem, it follows that if X in addition is a compact Hausdorff space then a mapping \({\varphi}\) of \({C_{\mathbb{C}}(X) }\) into \({\mathbb{C}}\) is a 1-evaluation if and only if \({\varphi}\) is a \({\mathbb{C}}\) -homomorphism. In this paper, we aim to investigate the extent to which this equivalence between 1-evaluations and \({\mathbb{C}}\) -homomorphisms can be generalized to a wider class of self-conjugate subalgebras of \({\mathbb{C}^{X}}\) . In this regards, we prove that a \({\mathbb{C}}\) -linear functional on a self-conjugate subalgebra A of \({\mathbb{C}^{X}}\) is a positive \({\mathbb{C}}\) -homomorphism if and only if \({\varphi}\) is a \({\overline{1}}\) -evaluation, that is, \({\varphi(f) \in\overline{f\left(X\right)}}\) for all \({f\in A}\) . As consequences of our general study, we prove that 1-evaluations and \({\mathbb{C}}\) -homomorphisms on \({C_{\mathbb{C}}\left( X\right)}\) coincide for any topological space X and we get a new characterization of realcompact topological spaces.     

Symmetry for a general class of overdetermined elliptic problems

Let \({\Omega}\) a bounded domain in \({\mathbb{R} ^N }\), and let \({u\in C^1 (\overline{\Omega})}\) a weak solution of the following overdetermined BVP: \({-\nabla (g(|\nabla u|)|\nabla u|^{-1}\nabla u)=f(|x|,u)}\), \({ u > 0 }\) in \({\Omega }\) and \({u=0, \ |\nabla u(x)|=\lambda (|x|)}\) on \({\partial \Omega }\), where \({g\in C([0,+\infty)\cap C^1 ((0,+\infty ) ) }\) with \({g(0)=0}\), \({g'(t) > 0}\) for \({t > 0}\), \({f\in C([0,+\infty ) \times [0, +\infty ) )}\), f is nonincreasing in \({|x|}\), \({\lambda \in C([0, +\infty )) }\) and \({\lambda }\) is positive and nondecreasing. We show that \({\Omega }\) is a ball and u satisfies some “local” kind of symmetry. The proof is based on the method of continuous Steiner symmetrization.