Integers with dense divisors 2

Let 1=d₁(n)<d₂(n)<?<d_τ(n)=n be the sequence of all positive divisors of the integer n in increasing order. We say that the divisors of n are t-dense iff max_1?i<τ(n)d_i+1(n)/d_i(n)?t. Let D(x,t) be the number of positive integers not exceeding x whose divisors are t-dense. We show that for x?3, and , we have , where , and d(w) is a continuous function which satisfies d(w)?1/w for w?1. We also consider other counting functions closely related to D(x,t).     

Cubic residues and binary quadratic forms

Let p>3 be a prime, u,v,d∈Z, gcd(u,v)=1, p?u²−dv² and , where is the Legendre symbol. In the paper we mainly determine the value of by expressing p in terms of appropriate binary quadratic forms. As applications, for we obtain a general criterion for and a criterion for εd to be a cubic residue of p, where εd is the fundamental unit of the quadratic field . We also give a general criterion for , where {Un} is the Lucas sequence defined by U₀=0, U₁=1 and Un+1=PUn−QUn−1 (n?1). Furthermore, we establish a general result to illustrate the connections between cubic congruences and binary quadratic forms.     

A note on harmonic quasiconformal mappings

In this note we show that a harmonic quasiconformal mapping f=u+iv with respect to the Poincaré metric of the upper half plane onto itself such that v(x,y)=v(y) or u(x,y)=u(x) is a conformal mapping.     

Bandwidth of the strong product of two connected graphs

The bandwidth B(G) of a graph G is the minimum of the quantity max{|f(x)-f(y)|:xy∈E(G)} taken over all proper numberings f of G. The strong product of two graphs G and H, written as G(S_P)H, is the graph with vertex set V(G)×V(H) and with (u₁,v₁) adjacent to (u₂,v₂) if one of the following holds: (a) u₁ and v₁ are adjacent to u₂ and v₂ in G and H, respectively, (b) u₁ is adjacent to u₂ in G and v₁=v₂, or (c) u₁=u₂ and v₁ is adjacent to v₂ in H. In this paper, we investigate the bandwidth of the strong product of two connected graphs. Let G be a connected graph. We denote the diameter of G by D(G). Let d be a positive integer and let x,y be two vertices of G. Let denote the set of vertices v so that the distance between x and v in G is at most d. We define δ_d(G) as the minimum value of over all vertices x of G. Let denote the set of vertices z such that the distance between x and z in G is at most d-1 and z is adjacent to y. We denote the larger of and by . We define η(G)=1 if G is complete and η(G) as the minimum of over all pair of vertices x,y of G otherwise. Let G and H be two connected graphs. Among other results, we prove that if δ_D(H)(G)?B(G)D(H)+1 and B(H)=⌈(|V(H)|+η(H)-2)/D(H)⌉, then B(G(S_P)H)=B(G)|V(H)|+B(H). Moreover, we show that this result determines the bandwidth of the strong product of some classes of graphs. Furthermore, we study the bandwidth of the strong product of power of paths with complete bipartite graphs.     

Hyper- and reverse-Wiener indices of F-sums of graphs

The Wiener index W(G)=∑_{u,v}⊂V(G)d(u,v), the hyper-Wiener index and the reverse-Wiener index , where d(u,v) is the distance of two vertices u,v in G, d²(u,v)=d(u,v)², n=|V(G)| and D is the diameter of G. In [M. Eliasi, B. Taeri, Four new sums of graphs and their Wiener indices, Discrete Appl. Math. 157 (2009) 794-803], Eliasi and Taeri introduced the F-sums of two connected graphs. In this paper, we determine the hyper- and reverse-Wiener indices of the F-sum graphs and, subject to some condition, we present some exact expressions of the reverse-Wiener indices of the F-sum graphs.     

Spike solutions of a nonlinear Schrödinger equation with degenerate potential

We study the existence of positive solutions to the elliptic equation ε²Δu(x,y)−V(y)u(x,y)+f(u(x,y))=0 for (x,y) in an unbounded domain subject to the boundary condition u=0 whenever is nonempty. Our potential V depends only on the y variable and is a bounded or unbounded domain which may coincide with . The positive parameter ε is tending to zero and our solutions u_ε concentrate along minimum points of the unbounded manifold of critical points of V.     

Carleson embeddings for Sobolev spaces via heat equation

Let u(t,x) be the solution of the heat equation (∂_t-Δ_x)u(t,x)=0 on subject to u(0,x)=f(x) on Rⁿ. The main goal of this paper is to characterize such a nonnegative measure μ on that f(x)?u(t²,x) induces a bounded embedding from the Sobolev space , p∈[1,n) into the Lebesgue space , q∈(0,∞).     

On the properties of Newton-Euler pairs

If and are two sequences such that a₁=b₁ and , then we say that (a_n,b_n) is a Newton-Euler pair. In the paper, we establish many formulas for Newton-Euler pairs, and then make use of them to obtain new results concerning some special sequences such as and B_n, where p(n) is the number of partitions of n, σ(n) is the sum of divisors of n, and B_n is the nth Bernoulli number.     

Diophantine equations with products of consecutive terms in Lucas sequences

In this paper, we show that if (u_n)_n?1 is a Lucas sequence, then the Diophantine equation in integers n?1, k?1, m?2 and y with |y|>1 has only finitely many solutions. We also determine all such solutions when (u_n)_n?1 is the sequence of Fibonacci numbers and when u_n=(xⁿ-1)/(x-1) for all n?1 with some integer x>1.     

A remark on sociable numbers of odd order

Write s(n) for the sum of the proper divisors of the natural number n. We call n sociable if the sequence n, s(n), s(s(n)), … is purely periodic; the period is then called the order of sociability of n. The ancients initiated the study of order 1 sociables (perfect numbers) and order 2 sociables (amicable numbers), and investigations into higher-order sociable numbers began at the end of the 19th century. We show that if k is odd and fixed, then the number of sociable n?x of order k is bounded by as x→∞. This improves on the previously best-known bound of , due to Kobayashi, Pollack, and Pomerance.     

On the prime power factorization of n!

In this paper, we prove two results. The first theorem uses a paper of Kim (J. Number Theory 74 (1999) 307) to show that for fixed primes p₁,…,p_k, and for fixed integers m₁,…,m_k, with , the numbers (e_p1(n),…,e_pk(n)) are uniformly distributed modulo (m₁,…,m_k), where e_p(n) is the order of the prime p in the factorization of n!. That implies one of Sander's conjectures from Sander (J. Number Theory 90 (2001) 316) for any set of odd primes. Berend (J. Number Theory 64 (1997) 13) asks to find the fastest growing function f(x) so that for large x and any given finite sequence , there exists n<x such that the congruences hold for all i?f(x). Here, p_i is the ith prime number. In our second result, we are able to show that f(x) can be taken to be at least , with some absolute constant c₁, provided that only the first odd prime numbers are involved.     

Note on a Fermat-type diophantine equation

Let p>5 be a prime number and ζ a pth root of unity. Let c be an integer divisible only by primes of the form kp−1,(k,p)=1.Let C_p⁽ⁱ⁾ be the eigenspace of the p-Sylow subgroup of ideal class group C of corresponding to ωi,ω being the Teichmuller character.In this article we extend the main theorem in Sitaraman (J. Number Theory 80 (2000) 174) and get the following: For any fixed odd positive integer n<p−4, assume:

(a)

At least one of C_p⁽³⁾,C_p⁽⁵⁾,…,C_p⁽ⁿ⁾ is non-trivial.

(b)

C_p⁽ⁱ⁾=0 for p−n−1?i?p−2.

(c)

for 1?i?n+1.

Let q be an odd prime such that , and such that there is a prime ideal Q over q in whose ideal class is of the form I^pJ where J is non-trivial, not a pth power and J∈C_p⁽³⁾⊕C_p⁽⁵⁾⊕?⊕C_p⁽ⁿ⁾.For such p and q, if x^p+y^p=pcz^p has a non-trivial solution , with (x,y,z)=1, then .Let t(n)=n²²⁴ⁿ⁴. If , then applying a result of Soulé (J. Reine Angew. Math. 517 (1999) 209), we show that the above result holds with only condition (a) because the others are automatically satisfied.We also make a remark about the effect of Soulé's result on the p-divisibility of h_p⁺ (the class number of the maximal real subgroup of ) which is relevant to the existence of integral solutions to x^p+y^p=pcz^p.     

On the power-free values of polynomials in two variables: II

The following theorem is proved. Suppose that for integers r,s?2, f(x,y) is an inhomogeneous polynomial of degree r with rational integral coefficients that is irreducible over the rationals, that is not a polynomial in a linear combination of x and y, that has no fixed sth power divisors other than 1, and that is a product of linear factors over some extension field of the rationals. Then, if N(X) denote the number of integers m,n of magnitude not exceeding X for which f(m,n) is sth power-free, the asymptotic formula

     

Class numbers of quadratic fields, Hasse invariants of elliptic curves, and the supersingular polynomial

Using the theory of elliptic curves, we show that the class number h(−p) of the field appears in the count of certain factors of the Legendre polynomials , where p is a prime >3 and m has the form (p−e)/k, with k=2,3 or 4 and . As part of the proof we explicitly compute the Hasse invariant of the Hessian curve y²+αxy+y=x³ and find an elementary expression for the supersingular polynomial ss_p(x) whose roots are the supersingular j-invariants of elliptic curves in characteristic p. As a corollary we show that the class number h(−p) also shows up in the factorization of certain Jacobi polynomials.     

Lipschitz metric for the periodic Camassa-Holm equation

We study the stability of conservative solutions of the Cauchy problem for the Camassa-Holm equation ut−uxxt+κux+3uux−2uxuxx−uuxxx=0 with periodic initial data u₀. In particular, we derive a new Lipschitz metric dD with the property that for two solutions u and v of the equation we have dD(u(t),v(t))?eCtdD(u₀,v₀). The relationship between this metric and usual norms in and is clarified.     

Isomorphisms between unital C-algebras

It is shown that every almost linear bijection of a unital C^∗-algebra A onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all unitaries u∈A, all y∈A, and n=0,1,2,…, and that almost linear continuous bijection of a unital C^∗-algebra A of real rank zero onto a unital C^∗-algebra B is a C^∗-algebra isomorphism when h(n²uy)=h(n²u)h(y) for all , all y∈A, and n=0,1,2,…. Assume that X and Y are left normed modules over a unital C^∗-algebra A. It is shown that every surjective isometry , satisfying T(0)=0 and T(ux)=uT(x) for all x∈X and all unitaries u∈A, is an A-linear isomorphism. This is applied to investigate C^∗-algebra isomorphisms between unital C^∗-algebras.     

A mean value theorem for cubic fields

Let r(n) denote the number of integral ideals of norm n in a cubic extension K of the rationals, and define and Δ(x)=S(x)−αx where α is the residue of the Dedekind zeta function ζ(s,K) at 1. It is shown that the abscissa of convergence of