Primitive divisors of some Lehmer-Pierce sequences

We study primitive prime divisors of the terms of Δ(u)=(Δn(u))_n?1, where Δn(u)=NK/Q(un−1) for K a real quadratic field, and u a unit element of its ring of integers. The methods used allow us to find the terms of the sequence that do not have a primitive prime divisor.     

Singular sets for curvature equation of order k

We consider the removability of singular sets for the curvature equations of the form Hk[u]=ψ, which is determined by the kth elementary symmetric function, in an n-dimensional domain Ω. We prove that, for 1?k?n−1 and a compact set K whose (n−k)-dimensional Hausdorff measure is zero, any generalized solution to the curvature equation on Ω?K is always extendable to a generalized solution on the whole domain Ω.     

Critical points of solutions of degenerate elliptic equations in the plane

We study the minimizer u of a convex functional in the plane which is not Gâteaux-differentiable. Namely, we show that the set of critical points of any C ¹-smooth minimizer can not have isolated points. Also, by means of some appropriate approximating scheme and viscosity solutions, we determine an Euler–Lagrange equation that u must satisfy. By applying the same approximating scheme, we can pair u with a function v which may be regarded as the stream function of u in a suitable generalized sense.     

Central limit theorems for random polytopes in a smooth convex set

Let K be a smooth convex set with volume one in Rd. Choose n random points in K independently according to the uniform distribution. The convex hull of these points, denoted by Kn, is called a random polytope. We prove that several key functionals of Kn satisfy the central limit theorem as n tends to infinity.     

Nonlinear eigenvalue problems with positively convex operators

We consider the equation u = λAu (λ > 0), where A is a forced isotone positively convex operator in a partially ordered normed space with a complete positive cone K. Let Λ be the set of positive λ for which the equation has a solution u?K, and let Λ₀ be the set of positive λ for which a positive solution—necessarily the minimum one—can be obtained by an iteration u_n = λAu_n?1, u₀ = 0. We show that if K is normal, and if Λ is nonempty, then Λ₀ is nonempty, and each set Λ₀, Λ is an interval with $\text{inf}\text{(Λ}{}_0\text{) =}\text{inf}\text{(Λ) = 0}\text{and sup}\text{(Λ}{}_0\text{) =}\text{sup}\text{(Λ) (= λ1,}\text{say}\text{)}$; but we may have λ1 ? Λ₀ and λ1 ? Λ. Furthermore, if A is bounded on the intersection of K with a neighborhood of 0, then Λ₀ is nonempty. Let u⁰(λ) = lim_n→∞(λA)ⁿ(0) be the minimum positive fixed point corresponding to λ ? Λ₀. Then u⁰(λ) is a continuous isotone convex function of λ on Λ₀.     

Genera, band sum of knots and Vassiliev invariants

Recently Stoimenow showed that for every knot K and any n∈N and u₀?u(K) there is a prime knot Kn,uo which is n-equivalent to the knot K and has unknotting number u(Kn,uo) equal to u₀. The similar result has been obtained for the 4-ball genus gs of a knot. Stoimenow also proved that any admissible value of the Tristram-Levine signature σξ can be realized by a knot with the given Vassiliev invariants of bounded order. In this paper, we show that for every knot K with genus g(K) and any n∈N and m?g(K) there exists a prime knot L which is n-equivalent to K and has genus g(L) equal to m.     

Différentes estimations de supu×infu pour l'équation de la courbure scalaire prescrite en dimension n⩾3

On a Riemannian manifolds (M,g) of dimension n, we prove on compact set K⊂M, that the positive solutions of the equation of prescribed scalar curvature (and the equation of subcritical case) are uniformely bounded.In positive case, when the manifold is compact, we prove that sup_Mu×inf_Mu⩾c>0 if n⩾3 (respectively sup_Mu+inf_Mu⩾c is n=2).     

On the stability of analytic germs under ultradifferentiable perturbations

Let f be a real-analytic function germ at the origin in Rn, whose critical locus contains a given real-analytic set X, and let Y be a germ of a closed subset at the origin. We study the stability of f under perturbations u that are flat on Y and that belong to a given Denjoy-Carleman non-quasianalytic class. We obtain a condition ensuring that f+u=f○Φ where Φ is a germ of diffeomorphism whose components belong to a (generally larger) Denjoy-Carleman class. Roughly speaking, this condition involves a ?ojasiewicz-type separation property between Y and the complex zeros of a certain ideal associated with f and X. The relationship between the Denjoy-Carleman classes of u and Φ is controlled precisely by the inequality. This result extends, and simplifies, former work of the author on germs with isolated critical points.     

Linear equations with unknowns from a multiplicative group whose solutions lie in a small number of subspaces

Let K be a field of characteristic 0 and let (K^*)ⁿ denote the n-fold Cartesian product of K^*, endowed with coordinatewise multiplication. Let Γ be a subgroup of (K^*)ⁿ of finite rank. We consider equations (*) a₁x₁ + … + a_nx_n = 1 in x = (x₁x_n)Γ, where a = (a₁,a_n)(K^*)ⁿ. Two tuples a, b(K^*)ⁿ are called Γ-equivalent if there is a uΓ such that b = u · a. Gy?ry and the author [Compositio Math. 66 (1988) 329-354] showed that for all but finitely many Γ-equivalence classes of tuples a(K^*)ⁿ, the set of solutions of (*) is contained in the union of not more than 2⁽ⁿ⁺¹! proper linear subspaces of Kⁿ. Later, this was improved by the author [J. reine angew. Math. 432 (1992) 177-217] to (n!)²ⁿ⁺². In the present paper we will show that for all but finitely many Γ-equivalence classes of tuples of coefficients, the set of non-degenerate solutions of (*) (i.e., with non-vanishing subsums) is contained in the union of not more than 2ⁿ proper linear subspaces of Kⁿ. Further we give an example showing that 2ⁿ cannot be replaced by a quantity smaller than n.     

On upper domination Ramsey numbers for graphs

The classical Ramsey number r(m,n) can be defined as the smallest integer p such that in every two-coloring (R,B) of the edges of K_p, β(B)⩾m or β(R)⩾n, where β(G) denotes the independence number of a graph G. We define the upper domination Ramsey number u(m,n) as the smallest integer p such that in every two-coloring (R,B) of the edges of K_p, Γ(B)⩾m or Γ(R)⩾n, where Γ(G) is the maximum cardinality of a minimal dominating set of a graph G. The mixed domination Ramsey number v(m,n) is defined to be the smallest integer p such that in every two-coloring (R,B) of the edges of K_p, Γ(B)⩾m or β(R)⩾n. Since β(G)⩽Γ(G) for every graph G, u(m,n)⩽v(m,n)⩽r(m,n). We develop techniques to obtain upper bounds for upper domination Ramsey numbers of the form u(3,n) and mixed domination Ramsey numbers of the form v(3,n). We show that u(3,3)=v(3,3)=6, u(3,4)=8, v(3,4)=9, u(3,5)=v(3,5)=12 and u(3,6)=v(3,6)=15.     

On additive partitions of integers

Given a linear recurrence integer sequence U = {u_n}, u_n+2 = u_n+1 + u_r, n ? 1, u₁ = 1, u₂> u₁, we prove that the set of positive integers can be partitioned uniquely into two disjoint subsets such that the sum of any two distinct members from any one set can never be in U. We give a graph theoretic interpretation of this result, study related problems and discuss possible generalizations.     

A remark on CD 0(K)-spaces

A representation of the CD ₀(K)-space is given in [1, 2] for a compact Hausdorff space K without isolated points. We generalize this to an arbitrary countably compact space K without any assumption on isolated points.     

Toric sets and orbits on toric varieties

Let D be an integer matrix. A toric set, namely the points in Kⁿ parametrized by the columns of D, and a toric variety are associated to D. The toric set is a subset of the toric variety. We describe the relation between the toric set and the toric variety, in terms of the orbits of the torus action on the toric variety. The toric set depends on the sign (+,−,0) pattern of the matrix D. Finally, we prove that any toric variety over an algebraically closed field can be expressed as a toric set, for an appropriate matrix.     

A removable isolated singularity theorem for the stationary Navier-Stokes equations

We show that an isolated singularity at the origin 0 of a smooth solution (u,p) of the stationary Navier-Stokes equations is removable if the velocity u satisfies u∈Lⁿ or |u(x)|=o(|x|^-1) as x→0. Here n?3 denotes the dimension. As a byproduct of the proof, we also obtain a new interior regularity theorem.     

Estimates of the conformal scalar curvature equation via the method of moving planes

In this paper we derive a local estimate of a positive singular solution u near its singular set Z of the conformal equation where K(x) is a positive continuous function, Z is a compact subset of , and g satisfies that is nonincreasing for t > 0. Assuming that the order of flatness at critical points of K on Z is no less than , we prove that, through the application of the method of moving planes, the inequality holds for any solution of (0.1) with Cap(Z) = 0. By the same method, we also derive a Harnack-type inequality for smooth positive solutions. Let u satisfy Assume that the order of flatness at critical points of K is no less than n - 2; then the inequality holds for R ≤ 1. We also show by examples that the assumption about the flatness at critical points is optimal for validity of the inequality (0.4). © 1997 John Wiley & Sons, Inc.     

Characterization of the closed convex hull of the range of a vector-valued measure

For a set K in a locally convex topological vector space X there exists a set T, a σ-algebra $\text{S}$ of subsets of T and a σ-additive measure m: $\text{S}$ → X such that K is the closed convex hull of the range {m(E): E ∈ $\text{S}$} of the measure m if and only if there exists a conical measure u on X so that K K_u,K_u, the set of resultants of all conical measures v on X such that v < u.     

New solitary-wave special solutions with compact support for the nonlinear dispersive K(m,n) equations

The genuinely nonlinear dispersive K(m,n) equation, u_t+(u^m)_x+(uⁿ)_xxx=0, which exhibits compactons: solitons with compact support, is investigated. New solitary-wave solutions with compact support are developed. The specific cases, K(2,2) and K(3,3), are used to illustrate the pertinent features of the proposed scheme. An entirely new general formula for the solution of the K(m,n) equation is established, and the existing general formula is modified as well.     

Subharmonicity of the modulus of quasiregular harmonic mappings

In this note we determine all numbers q∈R such that q|u| is a subharmonic function, provided that u is a K-quasiregular harmonic mappings in an open subset Ω of the Euclidean space Rn.     

On Connected 2-K n -Residual Graphs

A graph G is said to be K _n -residual if for every point u in G, the graph obtained by removing the closed neighborhood of u from G is isomorphic to K _n . We inductively define a multiply-K _n -residual graph by saying that G is m-K _n -residual if the removal of the closed neighborhood of any vertex of G results in an (m – 1)-K _n -residual graphs. Erdös, Harary and Klawe [2] determined the minimum order of the m?K _n -residual graphs for all m and n, which are not necessarily connected, the minimum order of connected; K _n -residual graphs, all K _n -residual extremal graphs. They also stated some conjectures regarding the connected case. In this paper, we determine the minimum order of a connected 2-K _n -residual graph and specify the extremal graphs, expect for n = 3. In particular, we determining only one connected 2-K ₄-residual graph of minimal order, and show that there is a connected 2-K ₆-residual graph non isomorphic to K ₈ × K ₃ with minimum order. Finally we present and a revised version of the conjecture in [2].