On the isoperimetric problem for the higher eigenvalues of the Robin and Wentzell Laplacians

We consider the problem of minimising the kth eigenvalue, k ≥ 2, of the (p-)Laplacian with Robin boundary conditions with respect to all domains in ${\mathbb{R}^N}$ of given volume. When k = 2, we prove that the second eigenvalue of the p-Laplacian is minimised by the domain consisting of the disjoint union of two balls of equal volume, and that this is the unique domain with this property. For p = 2 and k ≥ 3, we prove that in many cases a minimiser cannot be independent of the value of the constant in the boundary condition, or equivalently of the domain’s volume. We obtain similar results for the Laplacian with generalised Wentzell boundary conditions.     

Sums of Magnetic Eigenvalues are Maximal on Rotationally Symmetric Domains

The sum of the first n ≥ 1 energy levels of the planar Laplacian with constant magnetic field of given total flux is shown to be maximal among triangles for the equilateral triangle, under normalization of the ratio (moment of inertia)/(area)³ on the domain. The result holds for both Dirichlet and Neumann boundary conditions, with an analogue for Robin (or de Gennes) boundary conditions too. The square similarly maximizes the eigenvalue sum among parallelograms, and the disk maximizes among ellipses. More generally, a domain with rotational symmetry will maximize the magnetic eigenvalue sum among all linear images of that domain. These results are new even for the ground state energy (n = 1).     

Eigenvalues Estimate for the Neumann Problem of a Bounded Domain

In this note, we investigate upper bounds of the Neumann eigenvalue problem for the Laplacian of a domain Ω in a given complete (not compact a priori) Riemannian manifold (M,g). For this, we use test functions for the Rayleigh quotient subordinated to a family of open sets constructed in a general metric way, interesting for itself. As applications, we prove that if the Ricci curvature of (M,g) is bounded below Ric  ^g ≥−(n−1)a ², a≥0, then there exist constants A _n >0,B _n >0 only depending on the dimension, such that

Bounds on eigenvalues of Dirichlet Laplacian

In this paper, we investigate an eigenvalue problem of Dirichlet Laplacian on a bounded domain Ω in an n-dimensional Euclidean space R ⁿ . If λ _k+1 is the (k + 1)th eigenvalue of Dirichlet Laplacian on Ω, then, we prove that, for n ≥ 41 and and, for any n and with , where j _p,k denotes the k-th positive zero of the standard Bessel function J _p (x) of the first kind of order p. From the asymptotic formula of Weyl and the partial solution of the conjecture of Pólya, we know that our estimates are optimal in the sense of order of k.Q.-M. Cheng was partially Supported by a Grant-in-Aid for Scientific Research from the Japan Society for the Promotion of ScienceH. Yang was partially Supported by Chinese NSF, SF of CAS and NSF of USA     

A bilinear estimate for biharmonic functions in Lipschitz domains

We show that a bilinear estimate for biharmonic functions in a Lipschitz domain Ω is equivalent to the solvability of the Dirichlet problem for the biharmonic equation in Ω. As a result, we prove that for any given bounded Lipschitz domain Ω in _boxclose^d{\mathbb{R}^{d}} and 1 < q < ∞, the solvability of the L ^q Dirichlet problem for Δ ² u = 0 in Ω with boundary data in WA ^1,q (∂Ω) is equivalent to that of the L ^p regularity problem for Δ ² u = 0 in Ω with boundary data in WA ^2,p (∂Ω), where \frac1p + \frac1q=1{\frac{1}{p} + \frac{1}{q}=1}. This duality relation, together with known results on the Dirichlet problem, allows us to solve the L ^p regularity problem for d ≥ 4 and p in certain ranges.     

The maximum size of a partial 3-spread in a finite vector space over <Emphasis Type="Italic">GF</Emphasis>(2)

Let n ≥ 3 be an integer, let V _n (2) denote the vector space of dimension n over GF(2), and let c be the least residue of n modulo 3. We prove that the maximum number of 3-dimensional subspaces in V _n (2) with pairwise intersection {0} is \frac2ⁿ-2^c7-c{\frac{2^n-2^c}{7}-c} for n ≥ 8 and c = 2. (The cases c = 0 and c = 1 have already been settled.) We then use our results to construct new optimal orthogonal arrays and (s, k, λ)-nets.     

The radial curvature of an end that makes eigenvalues vanish in the essential spectrum I

The concern of this paper is to clarify a relationship between the curvatures at infinity and the spectral structure of the Laplacian. In particular, this paper discusses the question of whether there is an eigenvalue of the Laplacian embedded in the essential spectrum or not. The borderline-behavior of the radial curvatures for this problem will be determined: we will assume that the radial curvature K _rad. of an end converges to a constant −1 at infinity with the decay order K _rad. + 1 = o(r ⁻¹) and prove the absence of eigenvalues embedded in the essential spectrum. Furthermore, in order to show that this decay order K _rad. + 1 = o(r ⁻¹) is sharp, we will construct a manifold with the radial curvature decay K _rad. + 1 = O(r ⁻¹) and with an eigenvalue \frac(n-1)²4+1{\frac{(n-1)^2}{4}+1} embedded in the essential spectrum [ \frac(n-1)²4, ￥){[ \frac{(n-1)^2}{4}, \infty)} of the Laplacian.     

Multiple blocking sets in finite projective spaces and improvements to the Griesmer bound for linear codes

Belov, Logachev and Sandimirov construct linear codes of minimum distance d for roughly 1/q ^k/2 of the values of d < q ^k-1. In this article we shall prove that, for q = p prime and roughly \frac38{\frac{3}{8}}-th’s of the values of d < q ^k-1, there is no linear code meeting the Griesmer bound. This result uses Blokhuis’ theorem on the size of a t-fold blocking set in PG(2, p), p prime, which we generalise to higher dimensions. We also give more general lower bounds on the size of a t-fold blocking set in PG(δ, q), for arbitrary q and δ ≥ 3. It is known that from a linear code of dimension k with minimum distance d < q ^k-1 that meets the Griesmer bound one can construct a t-fold blocking set of PG(k−1, q). Here, we calculate explicit formulas relating t and d. Finally we show, using the generalised version of Blokhuis’ theorem, that nearly all linear codes over \mathbb F_p{{\mathbb F}_p} of dimension k with minimum distance d < q ^k-1, which meet the Griesmer bound, have codewords of weight at least d + p in subcodes, which contain codewords satisfying certain hypotheses on their supports.     

On the number of Galois points for a plane curve in positive characteristic,III

We consider the following problem: For a smooth plane curve C of degree d ≥ 4 in characteristic p > 0, determine the number δ(C) of inner Galois points with respect to C. This problem seems to be open in the case where d ≡ 1 mod p and C is not a Fermat curve F(p ^e  + 1) of degree p ^e  + 1. When p ≠ 2, we completely determine δ(C). If p = 2 (and C is in the open case), then we prove that δ(C) = 0, 1 or d and δ(C) = d only if d−1 is a power of 2, and give an example with δ(C) = d when d = 5. As an application, we characterize a smooth plane curve having both inner and outer Galois points. On the other hand, for Klein quartic curve with suitable coordinates in characteristic two, we prove that the set of outer Galois points coincides with the one of \mathbbF₂{\mathbb{F}_{2}} -rational points in \mathbbP²{\mathbb{P}^{2}}.     

Infinitely many solutions for elliptic problems with variable exponent and nonlinear boundary conditions

We analyze a class of quasilinear elliptic problems involving a p(·)-Laplace-type operator on a bounded domain W ì \mathbb R^N{\Omega\subset{\mathbb R}^N}, N ≥ 2, and we deal with nonlinear conditions on the boundary. Working on the variable exponent Lebesgue–Sobolev spaces, we follow the steps described by the “fountain theorem” and we establish the existence of a sequence of weak solutions.     

Anharmonic Oscillators in the Complex Plane, $\boldsymbol{\mathcal{PT}}$-symmetry,and Real Eigenvalues

For integers m ≥ 3 and 1 ≤ ℓ ≤ m − 1, we study the eigenvalue problems − u ^″(z) + [( − 1)^ℓ(iz) ^m  − P(iz)]u(z) = λu(z) with the boundary conditions that u(z) decays to zero as z tends to infinity along the rays argz=-\fracp2±\frac(l+1)pm+2\arg z=-\frac{\pi}{2}\pm \frac{(\ell+1)\pi}{m+2} in the complex plane, where P is a polynomial of degree at most m − 1. We provide asymptotic expansions of the eigenvalues λ _n . Then we show that if the eigenvalue problem is PT\mathcal{PT}-symmetric, then the eigenvalues are all real and positive with at most finitely many exceptions. Moreover, we show that when gcd(m,l)=1\gcd(m,\ell)=1, the eigenvalue problem has infinitely many real eigenvalues if and only if one of its translations or itself is PT\mathcal{PT}-symmetric. Also, we will prove some other interesting direct and inverse spectral results.     

A Faber-Krahn inequality for the Laplacian with Generalised Wentzell boundary conditions

We give an extension of the Faber-Krahn inequality to the Laplacian Δ on bounded Lipschitz domains , with generalised Wentzell boundary conditions on ∂Ω, where β, γ are nonzero real constants. We prove that when β, γ > 0, the ball B minimises the first eigenvalue with respect to all Lipschitz domains Ω of the same volume as B, and that B is the unique minimiser amongst C ²-domains. We also consider β, γ not both positive, and slightly extend what is known about the associated Wentzell operator and its resolvent in addition to considering an analogue of the Faber-Krahn inequality. This is based on the recent extension of the Faber-Krahn inequality to the Robin Laplacian. We also give a version of Cheeger’s inequality for the Wentzell Laplacian when β, γ > 0.      

On the Stabilizer of the Automorphism Group of a 4—valent Vertex—transitive Graph with Odd—prime—power Order

Let X be a 4-valent connected vertex-transitive graph with odd-prime-power order p^κ（κ≥1） and let A be the full automorphism group of X.In this paper,we prove that the stabilizer Av of a vertex v in A is a 2-group if p≠5,or a {2,3}-group if p=5.Furthermore,if p=5|Av| is not divisible by 3^2.As a result ,we show that any 4-valent connected vertex-transitive graph with odd-prime-power order p^κ(κ≥1） is at most 1-arc-transitive for p≠5 and 2-arc-transitive for p=5.     

On the Laplacian in the halfspace with a periodic boundary condition

We study spectral and scattering properties of the Laplacian H ^(σ)=-Δ in corresponding to the boundary condition with a periodic function σ. For non-negative σ we prove that H ^(σ) is unitarily equivalent to the Neumann Laplacian H ⁽⁰⁾. In general, there appear additional channels of scattering due to surface states. We prove absolute continuity of the spectrum of H ^(σ) under mild assumptions on σ.     

The Bochner technique and modification of the Ricci tensor

In the well-known vanishing theorems of Bochner, the assumptions Ric ≥ 0 and Ric ≤ 0 are modified by using Hessian and Laplacian of a smooth positive function such that, when this function is constant, these assumptions return to Ric ≥ 0 and Ric ≤ 0. We prove that the assertions and results of Bochner’s vanishing theorems still hold under these modified assumptions. Additionally, the assumption Ric ≥ H > 0 given in the eigenvalue estimate theorem of Lichnerowicz is also modified in the same way, and we obtain estimates for the first positive eigenvalue of the Laplace operator.     

Existence and multiplicity of solutions for asymptotically linear, noncoercive elliptic equations

First we prove the existence of a nontrivial smooth solution for a p-Laplacian equation with a (p − 1)-linear nonlinearity and a noncoercive Euler functional, under hypotheses including resonant problems with respect to the principal eigenvalue of (-D_p, W^1,p₀(Z)){(-{\it \Delta}_p,\,W^{1,p}_0(Z))} . Then, for the semilinear problem (i.e., p = 2), assuming nonuniform nonresonance at infinity and zero, we prove a multiplicity theorem which provides the existence of at least three nontrivial solutions, two being of opposite constant sign. Our approach combines minimax techniques with Morse theory and truncation arguments.     

Supercritical biharmonic equations with power-type nonlinearity

We study two different versions of a supercritical biharmonic equation with a power-type nonlinearity. First, we focus on the equation Δ² u = |u| ^p-1 u over the whole space , where n > 4 and p > (n + 4)/(n − 4). Assuming that p < p _c, where p _c is a further critical exponent, we show that all regular radial solutions oscillate around an explicit singular radial solution. As it was already known, on the other hand, no such oscillations occur in the remaining case p ≥ p _c. We also study the Dirichlet problem for the equation Δ² u = λ (1 + u) ^p over the unit ball in , where λ > 0 is an eigenvalue parameter, while n > 4 and p > (n + 4)/(n − 4) as before. When it comes to the extremal solution associated to this eigenvalue problem, we show that it is regular as long as p < p _c. Finally, we show that a singular solution exists for some appropriate λ > 0.      

On the number of affine equivalence classes of spherical tube hypersurfaces

We consider Levi non-degenerate tube hypersurfaces in \mathbbCⁿ⁺¹{\mathbb{C}^{n+1}} that are (k, n − k)-spherical, i.e. locally CR-equivalent to the hyperquadric with Levi form of signature (k, n − k), with n ≤ 2k. We show that the number of affine equivalence classes of such hypersurfaces is infinite (in fact, uncountable) in the following cases: (i) k = n − 2, n ≥ 7; (ii) k = n − 3, n ≥ 7; (iii) k ≤ n − 4. For all other values of k and n, except for k = 3, n = 6, the number of affine classes was known to be finite. The exceptional case k = 3, n = 6 has been recently resolved by Fels and Kaup who gave an example of a family of (3, 3)-spherical tube hypersurfaces that contains uncountably many pairwise affinely non-equivalent elements. In this paper we deal with the Fels–Kaup example by different methods. We give a direct proof of the sphericity of the hypersurfaces in the Fels–Kaup family, and use the j-invariant to show that this family indeed contains an uncountable subfamily of pairwise affinely non-equivalent hypersurfaces.     

The upper bound of the $${{\rm L}_{\mu}^2}$$ spectrum

Let M be an n-dimensional complete non-compact Riemannian manifold, dμ = e ^h (x)dV(x) be the weighted measure and \triangle_m{\triangle_{\mu}} be the weighted Laplacian. In this article, we prove that when the m-dimensional Bakry–émery curvature is bounded from below by Ric _m ≥ −(m − 1)K, K ≥ 0, then the bottom of the L_m²{{\rm L}_{\mu}^2} spectrum λ₁(M) is bounded by

Description of polygonal regions by polynomials of bounded degree

We show that every (possibly unbounded) convex polygon P in \mathbbR²{\mathbb{R}^2} with m edges can be represented by inequalities p ₁ ≥ 0, . . ., p _n ≥ 0, where the p _i ’s are products of at most k affine functions each vanishing on an edge of P and n = n(m, k) satisfies s(m, k) ￡ n(m, k) ￡ (1+e_m) s(m, k){s(m, k) \leq n(m, k) \leq (1+\varepsilon_m) s(m, k)} with s(m,k) ≔ max {m/k, log₂ m} and e_m ? 0{\varepsilon_m \rightarrow 0} as m ? ￥{m \rightarrow \infty}. This choice of n is asymptotically best possible. An analogous result on representing the interior of P in the form p ₁ > 0, . . ., p _n >  0 is also given. For k ≤ m/log₂ m these statements remain valid for representations with arbitrary polynomials of degree not exceeding k.