Ranked solutions of AXC=B and AX=B

Let GF(pⁿ) denote the finite field of pⁿ elements, p odd. Let A be an s×m matrix of rank ?, B be an s×t matrix of rank β, and C be an f×t matrix of rank v. This paper discusses the number of m×f matrices X of rank k over GF(pⁿ) which are solutions to the matric equations AXC=B or AX=B.     

Factored forms for solutions of AX − XB = C and X − AXB = C in companion matrices

The main concern of this paper is linear matrix equations with block-companion matrix coefficients. It is shown that general matrix equations AX ? XB = C and X ? AXB = C can be transformed to equations whose coefficients are block companion matrices: $\text{C}\text{?}{}_{\mathrm{L}}\text{X?XC}{}_{\mathrm{M}}\text{=}\text{diag}\text{[I 0…0]}$ and $\text{X?}\text{C}\text{?}{}_{\mathrm{L}}\text{XC}{}_{\mathrm{M}}\text{=}\text{diag}\text{[I 0…0]}$, respectively, where ?_L and C_M stand for the first and second block-companion matrices of some monic r × r matrix polynomials L(λ) = λ^sI + Σ^s?1_j=0λ^jL_j and M(λ) = λ^tI + Σ^t7minus;1_j=0λ^jM_j. The solution of the equat with block companion coefficients is reduced to solving vector equations Sx = ?, where the matrix S is r²l × r²l[l = max(s, t)] and enjoys some symmetry properties.     

Uniqueness of norm on L(G) and C(G) when G is a compact group

Let G be a compact group. If the trivial representation of G is not weakly contained in the left regular representation of G on L₀²(G) and X is either L^p(G) for 1<p?∞ or C(G), then we show that every complete norm |·| on X that makes translations from (X,|·|) into itself continuous is equivalent to ||·||_p or ||·||_∞ respectively. If 1<p?∞ and every left invariant linear functional on L^p(G) is a constant multiple of the Haar integral, then we show that every complete norm |·| on L^p(G) that makes translations from (L^p(G),|·|) into itself continuous and that makes the map t?L_t from G into bounded is equivalent to ||·||_p.     

On the Diophantine equation ax + by = ck

In this paper we investigate the solvability and the representation of the solutions of the equation ax² +by² = ckⁿ. We extend and improve many known results. In particular, we completely solve the equation (a ± 1)x² + (3a ? 1) = 4aⁿ, 2 ? n.     

A variational problem with lack of compactness for H(S;S) maps of prescribed degree

We consider, for maps in H^1/2(S¹;S¹), a family of (semi)norms equivalent to the standard one. We ask whether, for such a norm, there is some map in H^1/2(S¹;S¹) of prescribed topological degree equal to 1 and minimal norm. In general, the answer is no, due to concentration phenomena. The existence of a minimal map is sensitive to small perturbations of the norm. We derive a sufficient condition for the existence of minimal maps. In particular, we prove that, for every given norm, there are arbitrarily small perturbations of it for which the minimum is attained. In case there is no minimizer, we determine the asymptotic behavior of minimizing sequences. We prove that, for such minimizing sequences, the energy concentrates near a point of S¹. We describe this concentration in terms of bubbling-off of circles.     

On the Diophantine Equation x+q=y

In this paper it has been proved that if q is an odd prime, q?7 (mod 8), n is an odd integer ?5, n is not a multiple of 3 and (h,n)=1, where h is the class number of the filed Q(√−q), then the diophantine equation x²+q^2k+1=yⁿ has exactly two families of solutions (q,n,k,x,y).     

Weak solution of (r, (x, u(x)) u′(x))′ = (Fu)′(x) with r(0, u(0))u′(0) = ku(0), r(L, u(L))u′ (L) = hu(L) and k, h are suitable elements of [0, ∞]

We consider weak solutions to the nonlinear boundary value problem (r, (x, u(x)) u′(x))′ = (Fu)′(x) with r(0, u(0)) u′(0) = ku(0), r(L, u(L)) u′(L) = hu(L) and k, h are suitable elements of [0, ∞]. In addition to studying some new boundary conditions, we also relax the constraints on r(x, u) and (Fu)(x). r(x, u) > 0 may have a countable set of jump discontinuities in u and r(x, u)^?1?L_q((0, L) × (0, p)). F is an operator from a suitable set of functions to a subset of L_p(0, L) which have nonnegative values. F includes, among others, examples of the form (Fu)(x) = (1 ? H(x ? x₀)) u(x₀), (Fu)(x) = ∫_x^Lf(y, u(y)) dy where f(y, u) may have a countable set of jump discontinuities in u or F may be chosen so that (Fu)′(x) = ? g(x, u(x)) u′(x) ? q(x) u(x) ? f(x, u(x)) where q is a distributional derivative of an L₂(0, L) function.     

A landau-type construction concerning (L)′ ⊂ L

Let 1 ? p < ∞ and 1/p + 1/q = 1. For a locally finite measure space (X, S, μ) and a measurable complex-valued function f ∉ L^q functions g ∈ L^p may be constructed explicitly which satisfy

     

Factorization of Q(h(T)(x)) over a finite field where Q(x) is irreducible and h(T)(x) is linear—I

Let GF(q) be the finite field of order q, let Q(x) be an irreducible polynomial in GF(q)(x), and let h(T)(x) be a linear polynomial in GF(q)[x], where T:x→x^q. We use properties of the linear operator h(T) to give conditions for Q(h(T)(x)) to have a root of arbitrary degree k over GF(q), and we describe how to count the irreducible factors of Q(h(T)(x)) of degree k over GF(q). In addition we compare our results with those Ore which count the number of irreducible factors belonging to a linear polynomial having index k.     

Some results for the queues Mx/M/c and GIx/ G/c

We develop for the queue M^x/M/c an upper bound for the mean queue length and lower bounds for the delay probabilities (that of an arrival group and that of an arbitrary customer in the arrival group). An approximate formula is also developed for the general bulk-arrival queue GI^x/G/c. Preliminary numerical studies have indicated excellent performance of the results.     

Factorization of Q(h(T)(x)) over a finite field,where Q(x) is irreducible and h(T)(x) is linear II

Let GF(q) be the finite field of order q, let Q(x) be an irreducible polynomial in GF(qⁱ)[x], and let H(x) = h(T)(x) be a linear polynomial in GF(q)[x]. We give the degrees of the irreducible factors of Q(H(x)) in GF(qⁱ)[x], and the number of irreducible factors of each degree. We consider the special cases when H(x) is a trace function, and when h(x) is cyclotomic. Finally, we give several examples.     

On p−q=c and related three term exponential Diophantine equations with prime bases

Using a theorem on linear forms in logarithms, we show that the equation p^x−2^y=p^u−2^v has no solutions (p,x,y,u,v) with x≠u, where p is a positive prime and x,y,u, and v are positive integers, except for four specific cases, or unless p is a Wieferich prime greater than 10¹⁵. More generally, we obtain a similar result for p^x−q^y=p^u−q^v>0 where q is a positive prime, . We solve a question of Edgar showing there is at most one solution (x,y) to p^x−q^y=2^h for positive primes p and q and positive integer h. Finally, we use elementary methods to show that, with a few explicitly listed exceptions, there are at most two solutions (x,y) to |p^x±q^y|=c and at most two solutions (x,y,z) to p^x±q^y±2^z=0, for given positive primes p and q and integer c.     

Generalized composition operators from F(p, q, s) spaces to Bloch-type spaces

Let H(B) denote the space of all holomorphic functions on the unit ball B of Cⁿ. Let φ be a holomorphic self-map of B and g ∈ H(B) such that g(0) = 0. In this paper, we investigate the boundedness and compactness of the generalized composition operator

     

Regions of absolute stability of explicit Runge-Kutta-Nyström methods for y″ = f(x, y, y′)

We examine regions of absolute stability of s-stage explicit Runge-Kutta-Nyström (R-K-N) methods of order s for s = 2, 3, 4 for y″ = f(x, y, y′) by applying these methods to the test equation: y″ + 2αy′ + β²y = O, α, β ? 0, α + β > 0. We also examine the regions of absolute stability of Runge-Kutta (R-K) methods for first order differential equations of respective orders. Interestingly, it turns out that regions of absolute stability of R-K methods and R-K-N methods of respective orders for which the asymptotic relative error does not deteriorate are identical. Our present investigations are in continuation of the recent results of Chawla and Sharma [1].     

Zeros of the functions f(n) = Σi=0(−1)i(in−2i)

The main result of this paper is the following: the only zeros of the title function are at n = 3 and n = 12. This is achieved by means of the recursion function for f(n), viz. F(x) = x³ ? x ? 1 which has only one real root w. This turns out to be the fundamental unit of Q(w). From the norm equation of the units, N(w) = x³ + y³ + z³ ? 3xyz + 2x²z + xz² ? xy² ? yz² = 1, and the negative powers of w which are of binary form, the result follows. The paper concludes with two remarkable combinatorial identities.     

L(μ)-averaging domains

In this paper we first introduce L^s(μ)-averaging domains which are generalizations of L^s-averaging domains introduced by S.G. Staples. We characterize L^s(μ)-averaging domains using the quasihyperbolic metric. As applications, we prove norm inequalities for conjugate A-harmonic tensors in L^s(μ)-averaging domains which can be considered as generalizations of the Hardy and Littlewood theorem for conjugate harmonic functions. Finally, we give applications to quasiconformal and quasiregular mappings.     

Decay estimates for oscillatory integrals with polynomial phase in terms of p and p or in terms of p and p

We obtain estimates for certain oscillatory integrals with polynomial (degree n) phase, p(t). These estimates are stated in terms of differences between the roots, real or complex, of p⁽ⁿ⁻³⁾(t) and p⁽ⁿ⁻²⁾(t) or between p⁽ⁿ⁻²⁾(t) and p⁽ⁿ⁻¹⁾(t). The sharpness of these results is also explored. This result is a partial generalization of the results found in [J. Math. Anal. Appl. 280 (2003) 424].     

An integral transform in L2-cohomology for the ladder representations of U(p, q)

Starting from the realization of the Fock space as L²-cohomology of $\text{C}$^{p + q}, $\text{H}$^0,p($\text{C}$^{p + q}) = ⊕_m?$\text{Z}$$\text{H}$_m^0,p($\text{C}$^{p + q}), an integral transform is constructed which is a direct-image mapping from $\text{H}$_m^{0,p($\text{C}$p + q) into the space of holomorphic sections of some vector bundle E_m over M ≈ U(p, q)/(U(q) × U(p)), m ? 0}. The transform intertwines the natural actions of U(p, q) and is injective if m ? 0, so it provides a geometric realization of the ladder representations of U(p, q). The sections in the image of the transform satisfy certain linear differential equations, which are explicitly described. For example, Maxwell's equations are of this form if p = q = 2 and m = 2. Thus, this transform is analogous to the Penrose correspondence.     

An umbral calculus for polynomials characterizing U(n) tensor operators

After the change of variables Δ_i = γ_i ? δ_i and x_{i,i + 1} = δ_i ? δ_{i + 1} we show that the invariant polynomials _μG⁽ⁿ⁾_q(, Δ_i, ; , x_i,i+1,) characterizing U(n) tensor operators 〈p, q,…, q, 0,…, 0〉 become an integral linear combination of Schur functions S_λ(γ ? δ) in the symbol γ ? δ, where γ ? δ denotes the difference of the two sets of variables {γ₁ ,…, γ_n} and {δ₁ ,…, δ_n}. We obtain a similar result for the yet more general bisymmetric polynomials ^m_μG⁽ⁿ⁾_q(γ₁ ,…, γ_n; δ₁ ,…, δ_m). Making use of properties of skew Schur functions $\text{S}{}_{\mathrm{<mtext>\lambda </mtext><mtext>\rho </mtext>}}$ and S_λ(γ ? δ) we put together an umbral calculus for ^m_μG⁽ⁿ⁾_q(γ; δ). That is, working entirely with polynomials, we uniquely determine ^m_μG⁽ⁿ⁾_q(γ; δ) from ^m_μG⁽ⁿ⁾_{q ? 1}(γ; δ) and combinatorial rules involving Ferrers diagrams (i.e., partitions), provided that n ≥ (μ + 1)q. (This restriction does not interfere with writing the general case of ^m_μG⁽ⁿ⁾_q(γ; δ) as a linear combination of S_λ(γ ? δ).) As an application we deduce “conjugation” symmetry for ⁿ_μG⁽ⁿ⁾_q(γ; δ) from “transposition” symmetry by showing that these two symmetries are equivalent.