Eigenvalue estimate for a weighted p-Laplacian on compact manifolds with boundary

Let (M ⁿ , g) be a compact Riemannian manifold with convex boundary, let dμ = e ^h(x) dV (x) be a weighted measure on M, and let Δ_μ,p be the corresponding weighted p-Laplacian on M. We obtain a lower bound for the first nonzero Neumann eigenvalue of Δ_μ,p .     

A sharp gradient estimate for the weighted p-Laplacian

Let M be an n-dimensional complete noncompact Riemannian manifold with sectional curvature bounded from below, d?? = e ^h (x) dV (x) the weighted measure and ??_??,p the weighted p-Laplacian. In this paper we consider the non-linear elliptic equation $$ \Delta _{\mu ,p} u = - \lambda _{\mu ,p} |u|^{p - 2} u $$ for p ?? (1, 2). We derive a sharp gradient estimate for positive smooth solutions of this equation. As applications, we get a Harnack inequality and a Liouville type theorem..     

The Exponent of Discrepancy Is at Least 1.0669

LetP⊂[0, 1]^dbe ann-point set and letw: P→[0, ∞) be a weight function withw(P)=∑_z∈P w(z)=1. TheL₂-discrepancy of the weighted set (P, w) is defined as theL₂-average ofD(x)=vol(B_x)−w(P∩B_x) overx∈[0, 1]^d, where vol(B_x) is the volume of thed-dimensional intervalB_x=∏^d_k=1 [0, x_k). The exponent of discrepancyp* is defined as the infimum of numberspsuch that for all dimensionsd⩾1 and allε>0 there exists a weighted set of at mostKε^−ppoints in [0, 1]^dwithL₂-discrepancy at mostε, whereK=K(p) is a suitable number independent ofεandd. Wasilkowski and Woźniakowski proved thatp*⩽1.4779, by combining known bounds for the error of numerical integration and using their relation toL₂-discrepancy. In this note we observe that a careful treatment of a classical lower- bound proof of Roth yieldsp*⩾1.04882, and by a slight modification of the proof we getp*⩾1.0669. Determiningp* exactly seems to be quite a difficult problem.     

Characterization of projective graphs

We denote the distance between vertices x and y of a graph by d(x, y), and p_ij(x, y) = ∥ {z : d(x, z) = i, d(y, z) = j} ∥. The (s, q, d)-projective graph is the graph having the s-dimensional subspaces of a d-dimensional vector space over GF(q) as vertex set, and two vertices x, y adjacent iff $\text{dim}\text{(x ? y) = s ? 1}$. These graphs are regular graphs. Also, there exist integers λ and μ > 4 so that μ is a perfect square, p₁₁(x, y) = λ whenever d(x, y) = 1, and p₁₁(x, y) = μ whenever d(x, y) = 2. The (s, q, d)-projective graphs where $\text{2d}\text{3}\text{≤ s < d ? 2}$ and $\text{(s, q, d) ≠ (}\text{2d}\text{3}\text{, 2, d)}$, are characterized by the above conditions together with the property that there exists an integer r satisfying certain inequalities.     

On the enumeration of certain weighted graphs

We enumerate weighted simple graphs with a natural upper bound condition on the sum of the weight of adjacent vertices. We also compute the generating function of the numbers of these graphs, and prove that it is a rational function. In particular, we show that the generating function for connected bipartite simple graphs is of the form p₁(x)/(1-x)^m+1. For nonbipartite simple graphs, we get a generating function of the form p₂(x)/(1-x)^m+1(1+x)^l. Here m is the number of vertices of the graph, p₁(x) is a symmetric polynomial of degree at most m, p₂(x) is a polynomial of degree at most m+l, and l is a nonnegative integer. In addition, we give computational results for various graphs.     

Inverse Additive Problems for Minkowski Sumsets II

The Brunn–Minkowski Theorem asserts that μ _d (A+B)^1/d ≥μ _d (A)^1/d +μ _d (B)^1/d for convex bodies A,B?? ^d , where μ _d denotes the d-dimensional Lebesgue measure. It is well known that equality holds if and only if A and B are homothetic, but few characterizations of equality in other related bounds are known. Let H be a hyperplane. Bonnesen later strengthened this bound by showing $$\mu_d(A+B)\geq (M^{1/(d-1)}+N^{1/(d-1)} )^{d-1}\biggl(\frac{\mu_d(A)}{M}+\frac {\mu_d(B)}{N} \biggr),$$ where M=sup?{μ _d?1((x+H)∩A)∣x∈? ^d } and $N=\sup\{\mu_{d-1}((\mathbf{y}+H)\cap B)\mid \mathbf{y}\in \mathbb {R}^{d}\}$ . Standard compression arguments show that the above bound also holds when M=μ _d?1(π(A)) and N=μ _d?1(π(B)), where π denotes a projection of ? ^d onto H, which gives an alternative generalization of the Brunn–Minkowski bound. In this paper, we characterize the cases of equality in this latter bound, showing that equality holds if and only if A and B are obtained from a pair of homothetic convex bodies by ‘stretching’ along the direction of the projection, which is made formal in the paper. When d=2, we characterize the case of equality in the former bound as well.     

Three-Dimensional Polyhedra Can Be Described by Three Polynomial Inequalities

Bosse et al. conjectured that for every natural number d≥2 and every d-dimensional polytope P in ℝ ^d , there exist d polynomials p ₁(x),…,p _d (x) satisfying P={x∈ℝ ^d :p ₁(x)≥0,…,p _d (x)≥0}. We show that every three-dimensional polyhedron can be described by three polynomial inequalities, which confirms the conjecture for the case d=3 but also provides an analogous statement for the case of unbounded polyhedra. The proof of our result is constructive. Work supported by the German Research Foundation within the Research Unit 468 “Methods from Discrete Mathematics for the Synthesis and Control of Chemical Processes”.     

Periodic solutions for a Rayleigh type p-Laplacian equation with sign-variable coefficient of nonlinear term

As p-Laplacian equations have been widely applied in the field of fluid mechanics and nonlinear elastic mechanics, it is necessary to investigate the periodic solutions of functional differential equations involving the scalar p-Laplacian. By using Lu’s continuation theorem, which is an extension of Manásevich-Mawhin, we study the existence of periodic solutions for a Rayleigh type p-Laplacian equation

(φ_p(x^′(t)))^′+f(x^′(t))+g₁(x(t-τ₁(t,|x|_∞)))+β(t)g₂(x(t-τ₂(t,|x|_∞)))=e(t).     

Periodic solutions for a higher order p-Laplacian neutral functional differential equation with a deviating argument

In this paper, a higher order p-Laplacian neutral functional differential equation with a deviating argument:

[φ_p([x(t)−c(t)x(t−σ)]⁽ⁿ⁾)]^(m)+f(x(t))x^′(t)+g(t,x(t−τ(t)))=e(t)     

Half-linear ODE and modified Riccati equation: Comparison theorems, integral characterization of principal solution

In this paper, we study the half-linear differential equation with one-dimensional p-Laplacian

(r(t)Φ_p(x^′))^′+c(t)Φ_p(x)=0,     

Bounds for the weighted Lp discrepancy and tractability of integration

Quite recently Sloan and Woźniakowski (J. Complexity 14 (1998) 1) introduced a new notion of discrepancy, the so-called weighted L^p discrepancy of points in the d-dimensional unit cube for a sequence γ=(γ₁,γ₂,…) of weights. In this paper we prove a nice formula for the weighted L^p discrepancy for even p. We use this formula to derive an upper bound for the average weighted L^p discrepancy. This bound enables us to give conditions on the sequence of weights γ such that there exists N points in [0,1)^d for which the weighted L^p discrepancy is uniformly bounded in d and goes to zero polynomially in N⁻¹.Finally we use these facts to generalize some results from Sloan and Woźniakowski (1998) on (strong) QMC-tractability of integration in weighted Sobolev spaces.     

Nonparametric estimation of mixed partial derivatives of a multivariate density

On the basis of a random sample of size n on an m-dimensional random vector X, this note proposes a class of estimators f_n^(p) of f^(p), where f is a density of X w.r.t. a σ-finite measure dominated by the Lebesgue measure on R^m, p = (p₁,…,p_m), p_j ≥ 0, fixed integers, and for x = (x₁,…,x_m) in R^m, f^(p)(x) = ?^p₁+…+p_m f(x)/(?^p₁x₁ … ?^p_mx_m). Asymptotic unbiasedness as well as both almost sure and mean square consistencies of f_n^(p) are examined. Further, a necessary and sufficient condition for uniform asymptotic unbisedness or for uniform mean square consistency of f_n^(p) is given. Finally, applications of estimators of this note to certain statistical problems are pointed out.     

Multilinear Calderón-Zygmund operators on the product of Lebesgue spaces with non-doubling measures

Under the assumption that μ is a non-doubling measure on Rd, the author proves that for the multilinear Calderón-Zygmund operator, its boundedness from the product of Hardy space H¹(μ)×H¹(μ) into L1/2(μ) implies its boundedness from the product of Lebesgue spaces Lp₁(μ)×Lp₂(μ) into Lp(μ) with 1<p₁,p₂<∞ and p satisfying 1/p=1/p₁+1/p₂.     

Bounds for the uniform deviation of empirical measures

If X₁,…,X_n are independent identically distributed R^d-valued random vectors with probability measure μ and empirical probability measure μ_n, and if $\text{a}$ is a subset of the Borel sets on R^d, then we show that P{sup_{A∈$\text{a}$}|μ_n(A)?μ(A)|≥ε} ≤ cs($\text{a}$, n²)e^?2n∈2, where c is an explicitly given constant, and s($\text{a}$, n) is the maximum over all (x₁,…,x_n) ∈ R^dn of the number of different sets in {{x₁…,x_n}∩A|A ∈$\text{a}$}. The bound strengthens a result due to Vapnik and Chervonenkis.     

Weak- and strong-type inequality for the cone-like maximal operator in variable Lebesgue spaces

The classical Hardy-Littlewood maximal operator is bounded not only on the classical Lebesgue spaces L_p(R^d) (in the case p > 1), but (in the case when 1/p(·) is log-Hölder continuous and p- = inf{p(x): x ∈ R^d > 1) on the variable Lebesgue spaces L_p(·)(R^d), too. Furthermore, the classical Hardy-Littlewood maximal operator is of weak-type (1, 1). In the present note we generalize Besicovitch’s covering theorem for the so-called γ-rectangles. We introduce a general maximal operator M_s^γδ, and with the help of generalized Φ-functions, the strong- and weak-type inequalities will be proved for this maximal operator. Namely, if the exponent function 1/p(·) is log-Hölder continuous and p- ≥ s, where 1 ≤ s ≤ ∞ is arbitrary (or p- ≥ s), then the maximal operator M_s^γδ is bounded on the space L_p(·)(R^d) (or the maximal operator is of weak-type (p(·), p(·))).     

Periods of polynomials over a Galois ring

The period of a monic polynomial over an arbitrary Galois ring GR(pe,d) is theoretically determined by using its classical factorization and Galois extensions of rings. For a polynomial f(x) the modulo p remainder of which is a power of an irreducible polynomial over the residue field of the Galois ring, the period of f(x) is characterized by the periods of the irreducible polynomial and an associated polynomial of the form (x-1)m+pg(x). Further results on the periods of such associated polynomials are obtained, in particular, their periods are proved to achieve an upper bound value in most cases. As a consequence, the period of a monic polynomial over GR(pe,d) is equal to pe-1 times the period of its modulo p remainder polynomial with a probability close to 1, and an expression of this probability is given.     

Littlewood–Paley and Spectral Multipliers on Weighted L p Spaces

Let L be a non-negative self-adjoint operator acting on L ²(X), where X is a space of homogeneous type. Assume that L generates a holomorphic semigroup e ^?tL whose kernel p _t (x,y) has a Gaussian upper bound but there is no assumption on the regularity in variables x and y. In this article we study weighted L ^p -norm inequalities for spectral multipliers of L. We show that a weighted Hörmander-type spectral multiplier theorem follows from weighted L ^p -norm inequalities for the Lusin and Littlewood–Paley functions, Gaussian heat kernel bounds, and appropriate L ² estimates of the kernels of the spectral multipliers.     

A Katona-type proof of an Erd?s-Ko-Rado-type theorem

Let p?1/2 and let μ_p be the product measure on {0,1}ⁿ, where μ_p(x)=p^∑x_i(1-p)^n-∑x_i. Let A⊂{0,1}ⁿ be an intersecting family, i.e. for every x,y∈A there exists 1?i?n such that x_i=y_i=1. Then μ_p(A)?p. Our proof uses a probabilistic trick first applied by Katona to prove the Erd?s-Ko-Rado theorem.     

Asymptotic estimates of sums involving the Moebius function

Let p(n) denote the smallest prime factor of an integer n>1 and let p(1)=∞. We study the asymptotic behavior of the sum M(x,y)=Σ_{1≤n≤x,p(n)>y}μ(n) and use this to estimate the size of A(x)=max_|f|≤1|Σ_2≤n<xμ(n)f(p(n))|, where μ(n) is the Moebius function. Applications of bounds for A(x), M(x,y) and similar quantities are discussed.