A Canonical Diffraction Problem With Two Media

A Wiener–Hopf equation in L² being equivalent [5] to a boundary value problem (of the first kind) for a wave-scattering Sommerfeld half-plane Σ=ℝ₊×{0} which faces two different media Ω_-: x₂<0, Ω₊: x₂>0, as a special configuration in [3], is solved by canonical Weiner–Hopf factorization of its L²-regular scalar symbol γ_o=γ_o- γ_o+. The factors are calculated by solving a Riemann–Hilbert boundary value problem on the semi-infinite branch cuts of t_j(ξ):=(ξ²−k²_j)^1/2, k_j∈ℂ⁺⁺ for j=1,2: taken parallel to the imaginary axis. The procedure following this idea is known as the Wiener–Hopf–Hilbert(–Hurd) method [2] and requires the evaluation of elliptic-type integrals. Formula (3.7) seems not to be contained in tables of integrals.     

Convergence of a fourth-order singular perturbation of the n-dimensional radially symmetric Monge–Ampère equation

This paper concerns with the convergence analysis of a fourth-order singular perturbation of the Dirichlet Monge–Ampère problem in the n-dimensional radial symmetric case. A detailed study of the fourth- order problem is presented. In particular, various a priori estimates with explicit dependence on the perturbation parameter ε are derived, and a crucial convexity property is also proved for the solution of the fourth-order problem. Using these estimates and the convexity property, we prove that the solution of the perturbed problem converges uniformly and compactly to the unique convex viscosity solution of the Dirichlet Monge–Ampère problem. Rates of convergence in the H^k-norm for k = 0, 1, 2 are also established.     

Delay moments for FIFO GI/GI/s queues

For stable FIFO GI/GI/s queues, s ≥ 2, we show that finite (k+1)st moment of service time, S, is not in general necessary for finite kth moment of steady-state customer delay, D, thus weakening some classical conditions of Kiefer and Wolfowitz (1956). Further, we demonstrate that the conditions required for E[D ^k]<∞ are closely related to the magnitude of traffic intensity ρ (defined to be the ratio of the expected service time to the expected interarrival time). In particular, if ρ is less than the integer part of s/2, then E[D] < ∞ if E[S^3/2]<∞, and E[D^k]<∞ if E[S^k]<∞, ^k≥ 2. On the other hand, if s-1 < ρ < s, then E[D^k]<∞ if and only if E[S^k+1]<∞, k ≥ 1. Our method of proof involves three key elements: a novel recursion for delay which reduces the problem to that of a reflected random walk with dependent increments, a new theorem for proving the existence of finite moments of the steady-state distribution of reflected random walks with stationary increments, and use of the classic Kiefer and Wolfowitz conditions. This revised version was published online in June 2006 with corrections to the Cover Date.     

Factorization of a class of matrices generated by Sommerfeld diffraction problems with oblique derivatives

An explicit factorization of the Fourier symbol matrix functions generated by Sommerfeld diffraction problems with oblique derivatives is obtained. For this purpose a new prefactorization procedure is developed which makes use of factorization through weighted L² spaces. These results yield a representation of a generalized inverse of the corresponding matrix Wiener–Hopf operator and the asymptotic behaviour of the solution at the edge of the screen. © 1997 by B. G. Teubner Stuttgart–John Wiley & Sons Ltd.     

Orthogonal factorizations of graphs

Let G be a graph with vertex set V(G) and edge set E(G). Let k₁, k₂,…,k_m be positive integers. It is proved in this study that every [0,k₁+…+k_m?m+1]‐graph G has a [0, k_i]₁^m‐factorization orthogonal to any given subgraph H with m edges. © 2002 Wiley Periodicals, Inc. J Graph Theory 40: 267–276, 2002     

On thek dimensional Piatetski-Shapiro prime number theorem

Thek-dimensional Piatetski-Shapiro prime number problem fork⩾3 is studied. Let π(x ₁ c ₁,⋯,c _k ) denote the number of primesp withp⩽x, , where 1<c ₁<⋯<c _k are fixed constants. It is proved that π(x;c ₁,⋯,c _k ) has an asymptotic formula ifc ₁ ⁻¹ +⋯+c _k ⁻¹ >k−k/(4k ²+2). Project supported by the National Natural Science Foundation of China (Grant No. 19801021) and the Natural Science Foundation of Shandong Province (Grant No.Q98A02110).     

On the Wiener–Hopf Method for Surface Plasmons: Diffraction from Semiinfinite Metamaterial Sheet

By formally invoking the Wiener–Hopf method, we explicitly solve a one‐dimensional, singular integral equation for the excitation of a slowly decaying electromagnetic wave, called surface plasmon‐polariton (SPP), of small wavelength on a semiinfinite, flat conducting sheet irradiated by a plane wave in two spatial dimensions. This setting is germane to wave diffraction by edges of large sheets of single‐layer graphene. Our analytical approach includes (i) formulation of a functional equation in the Fourier domain; (ii) evaluation of a split function, which is expressed by a contour integral and is a key ingredient of the Wiener–Hopf factorization; and (iii) extraction of the SPP as a simple‐pole residue of a Fourier integral. Our analytical solution is in good agreement with a finite‐element numerical computation.     

Kernel estimates for perturbations of positive semigroups

Given a positive C⁰-semigroup T⁰ on L₂(Ω, m) with a kernel k⁰, where (Ω, m) is a σ-finite measure space, we study a suitably perturbed semigroup T and prove existence of a kernel k for T and an estimate of the k in terms of k⁰. In this way we extend a heat kernel estimate proven by Barlow, Grigor’yan and Kumagai [4] for Dirichlet forms perturbed by jump processes. (© 2014 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

A note on the order of the antipode of a pointed Hopf algebra

Let k be a field and let H denote a pointed Hopf k-algebra with antipode S. We are interested in determining the order of S. Building on the work done by Taft and Wilson in [7], we define an invariant for H, denoted m_H, and prove that the value of this invariant is connected to the order of S. In the case where char k?=?0, it is shown that if S has finite order then it is either the identity or has order 2?m_H. If in addition H is assumed to be coradically graded, it is shown that the order of S is finite if and only if m_H is finite. We also consider the case where char k?=?p?>?0, generalizing the results of [7] to the infinite-dimensional setting.     

DENSEST CIRCLE PACKING ON THE FLAT TORUS

Melissen [1] considered packings of k congruent circles in the symmetric flat torus T ² = [0, 1)² and determined the largest possible radius for k ≤ 4. In the present paper the analogous problem is studied for an arbitrary asymmetric torus T′² = [0,b) × [0,a), 0 < a ≤ b and the maximal radius is found again for k ≤ 4. This revised version was published online in August 2006 with corrections to the Cover Date.     

Asymptotic Behavior of Variable-Coefficient Toeplitz Determinants

For a continuous function s\sigma defined on [0,1]×\mathbbT[0,1]\times\mathbb{T}, let \ops\op\sigma stand for the (n+1)×(n+1)(n+1)\times(n+1) matrix whose (j,k)(j,k)-entries are equal to \frac1 2pò₀^2p s( \fracjn,e^iq) e^-i(j-k)q  dq,        j,k = 0,1,...,n . \displaystyle \frac{1} {2\pi}\int_0^{2\pi} \sigma \left( \frac{j}{n},e^{i\theta}\right) e^{-i(j-k)\theta} \,d\theta, \qquad j,k =0,1,\dots,n~. These matrices can be thought of as variable-coefficient Toeplitz matrices or as the discrete analogue of pseudodifferential operators. Under the assumption that the function s\sigma possesses a logarithm which is sufficiently smooth on [0,1]×\mathbbT[0,1]\times\mathbb{T}, we prove that the asymptotics of the determinants of \ops\op\sigma are given by det[\ops] ~ G[s]⁽ⁿ⁺¹⁾E[s]     \text as   n?￥ , \det \left[\op\sigma\right] \sim G[\sigma]^{(n+1)}E[\sigma] \quad \text{ as \ } n\to\infty~, where G[s]G[\sigma] and E[s]E[\sigma] are explicitly determined constants. This formula is a generalization of the Szegö Limit Theorem. In comparison with the classical theory of Toeplitz determinants some new features appear.     

Hopf algebra forms of the multiplicative group and other groups

The multiplicative group functor, which associates with each k-algebra its group of units, is affine with Hopf algebra k[x,x^–1]. The purpose of this paper is to determine explicitly all Hopf algebra forms of k[x,x^–1] with only minor restrictions on k (2 not a zero-divisor and Pic₍₂₎(k)=0). We also describe explicitly (by generators and relations) the Hopf algebra forms of kC₃, kC₄ and kC₆, where C_n is the cyclic group of order n. Some of our results could be drawn from [1,III §5.3.3] where a similar result as ours is indicated (and left as an exercise). We prefer however a less technical approach, in particular we do not use the extended theory of algebraic groups and functor sheaves.     

Cohomology vanishing¶and a problem in approximation theory

For a simplicial subdivison Δ of a region in k ⁿ (k algebraically closed) and r∈N, there is a reflexive sheaf ? on P ⁿ , such that H ⁰(?(d)) is essentially the space of piecewise polynomial functions on Δ, of degree at most d, which meet with order of smoothness r along common faces. In [9], Elencwajg and Forster give bounds for the vanishing of the higher cohomology of a bundle ℰ on P ⁿ in terms of the top two Chern classes and the generic splitting type of ℰ. We use a spectral sequence argument similar to that of [16] to characterize those Δ for which ? is actually a bundle (which is always the case for n= 2). In this situation we can obtain a formula for H ⁰(?(d)) which involves only local data; the results of [9] cited earlier allow us to give a bound on the d where the formula applies. We also show that a major open problem in approximation theory may be formulated in terms of a cohomology vanishing on P ² and we discuss a possible connection between semi-stability and the conjectured answer to this open problem. Received: 9 April 2001     

Variational reduction for Ginzburg-Landau vortices

Let Ω be a bounded domain with smooth boundary in R². We construct non-constant solutions to the complex-valued Ginzburg-Landau equation ε²Δu+(1−²|u|)u=0 in Ω, as ε→0, both under zero Neumann and Dirichlet boundary conditions. We reduce the problem of finding solutions having isolated zeros (vortices) with degrees ±1 to that of finding critical points of a small C¹-perturbation of the associated renormalized energy. This reduction yields general existence results for vortex solutions. In particular, for the Neumann problem, we find that if Ω is not simply connected, then for any k?1 a solution with exactly k vortices of degree one exists.     

Conjugacy Classes,Class Sums and Character Tables for Hopf Algebras

We extend the notion of conjugacy classes and class sums from finite groups to semisimple Hopf algebras and show that the conjugacy classes are obtained from the factorization of H as irreducible left D(H)-modules. For quasitriangular semisimple Hopf algebras H, we prove that the product of two class sums is an integral combination of the class sums up to d ^?2 where d = dim H. We show also that in this case the character table is obtained from the S-matrix associated to D(H). Finally, we calculate explicitly the generalized character table of D(kS ₃), which is not a character table for any group. It moreover provides an example of a product of two class sums which is not an integral combination of class sums.     

Normal Hopf subalgebras in cocycle deformations of finite groups

Let G be a finite group and let π : G → G′ be a surjective group homomorphism. Consider the cocycle deformation L = H ^σ of the Hopf algebra H = k ^G of k-valued linear functions on G, with respect to some convolution invertible 2-cocycle σ. The (normal) Hopf subalgebra corresponds to a Hopf subalgebra . Our main result is an explicit necessary and sufficient condition for the normality of L′ in L. This work was partially supported by CONICET, Fundación Antorchas, Agencia Córdoba Ciencia, ANPCyT and Secyt (UNC).     

On a question of A. Schinzel: Omega estimates for a special type of arithmetic functions

The paper deals with lower bounds for the remainder term in asymptotics for a certain class of arithmetic functions. Typically, these are generated by a Dirichlet series of the form ζ ²(s)ζ(2s?1)ζ ^M (2s)H(s), where M is an arbitrary integer and H(s) has an Euler product which converges absolutely for R _s > σ₀, with some fixed σ₀ < 1/2.     

A Class of Multiplier Hopf Algebras

We compute the Drinfel’d double for the bicrossproduct multiplier Hopf algebra A = k[G] ⋊ K(H) associated with the factorization of an infinite group M into two subgroups G and H. We also show that there is a basis-preserving self-duality structure for the multiplier Hopf algebra A = k[G] ⋊ K(H) if there is a factor-reversing group isomorphism. Presented by A. Verschoren.