On the Number of Solutions of an Equation Over a Finite Field

The Stöhr–Voloch approach is used to obtain a newbound for the number of solutions in (F_q)² of an equation f(X,Y) = 0, where f(X, Y) is an absolutely irreducible polynomialwith coefficients in a finite field F_q.     

A Lie Theoretic Approach to Thompson's Theorems on Singular Values-Diagonal Elements and Some Related Results

Thompson's famous theorems on singular values–diagonalelements of the orbit of an nxn matrix A under the action (1)U(n) U(n) where A is complex, (2) SO(n) SO(n), where A isreal, (3) O(n) O(n) where A is real are fully examined. Coupledwith Kostant's result, the real semi-simple Lie algebra so_n,n yields (2) and hence (3) and the sufficient part (the hardpart) of (1). In other words, the curious subtracted term(s)are well explained. Although the diagonal elements correspondingto (1) do not form a convex set in Cⁿ, the projection of thediagonal elements into Rⁿ (or iRⁿ) is convex and the characterizationof the projection is related to weak majorization. An elementaryproof is given for this hidden convexity result. Equivalentstatements in terms of the Hadamard product are also given.The real simple Lie algebra su_{n, n} shows that such a convexityresult fits into the framework of Kostant's result. Convexityproperties and torus relations are studied. Thompson's resultson the convex hull of matrices (complex or real) with prescribedsingular values, as well as Hermitian matrices (real symmetricmatrices) with prescribed eigenvalues, are generalized in thecontext of Lie theory. Also considered are the real simple Liealgebras so_{p, q} and so_{p, q}, p < q, which yield the rectangularcases. It is proved that the real part and the imaginary partof the diagonal elements of complex symmetric matrices withprescribed singular values are identical to a convex set inRⁿ and the characterization is related to weak majorization.The convex hull of complex symmetric matrices and the convexhull of complex skew symmetric matrices with prescribed singularvalues are given. Some questions are asked.     

Points of {varepsilon} Differentiability of Lipschitz Functions from Rn to Rn-1

This paper proves that for every Lipschitz function f : RⁿR^m,m < n, there exists at least one point of -differentiabilityof f which is in the union of all m-dimensional affine subspacesof the form q0 +span{q1,q2,...,q_m}, where q_j (j = 0,1,...,m)are points in Rⁿ with rational coordinates. 2000 MathematicsSubject Classification 26B05, 26B35.     

Lorentz Spaces Of Vector-Valued Measures

Given a non-atomic, finite and complete measure space (,,µ)and a Banach space X, the modulus of continuity for a vectormeasure F is defined as the function _F(t) = sup_µ(E)t |F|(E)and the space V^p,q(X) of vector measures such that t^–1/p'_F(t) L^q((0,µ()],dt/t) is introduced. It is shown thatV^p,q(X) contains isometrically L^p,q(X) and that L^p,q(X) = V^p,q(X)if and only if X has the Radon–Nikodym property. It isalso proved that V^p,q(X) coincides with the space of cone absolutelysumming operators from L^p',q^' into X and the duality V^p,q(X^*)=(Lp^',q^'(X))^*where 1/p+1/p^'= 1/q+1/q^' = 1. Finally, V^p,q(X) is identifiedwith the interpolation space obtained by the real method (V¹(X),V(X))_1/p^',q. Spaces where the variation of F is replaced bythe semivariation are also considered.     

Asymptotic simplification for a reaction-diffusion problem with a nonlinear boundary condition

We study non-negative solutions of the porous medium equationwith a source and a nonlinear flux boundary condition, u_t =(u^m)_xx + u^p in (0, ), x (0, T); – (u^m)_x (0, t) = u^q (0,t) for t (0, T); u (x, 0) = u₀ (x) in (0, ), where m > 1,p, q > 0 are parameters. For every fixed m we prove thatthere are two critical curves in the (p, q-plane: (i) the criticalexistence curve, separating the region where every solutionis global from the region where there exist blowing-up solutions,and (ii) the Fujita curve, separating a region of parametersin which all solutions blow up from a region where both globalin time solutions and blowing-up solutions exist. In the caseof blow up we find the blow-up rates, the blow-up sets and theblow-up profiles, showing that there is a phenomenon of asymptoticsimplification. If 2q < p + m the asymptotics are governedby the source term. On the other hand, if 2q > p + m theevolution close to blow up is ruled by the boundary flux. If2q = p + m both terms are of the same order.     

Stationary Critical Points of the Heat Flow in Spaces of Constant Curvature

The paper considers stationary critical points of the heat flowin sphere S^N and in hyperbolic space H^N, and proves severalresults corresponding to those in Euclidean space R^N which havebeen proved by Magnanini and Sakaguchi. To be precise, it isshown that a solution u of the heat equation has a stationarycritical point, if and only if u satisfies some balance lawwith respect to the point for any time. In Cauchy problems forthe heat equation, it is shown that the solution u has a stationarycritical point if and only if the initial data satisfies thebalance law with respect to the point. Furthermore, one point,say x₀, is fixed and initial-boundary value problems are consideredfor the heat equation on bounded domains containing x₀. It isshown that for any initial data satisfying the balance law withrespect to x₀ (or being centrosymmetric with respect to x₀)the corresponding solution always has x₀ as a stationary criticalpoint, if and only if the domain is a geodesic ball centredat x₀ (or is centrosymmetric with respect to x₀, respectively).     

The determination of a coefficient in a parabolic equation from input sources

The authors consider the question of recovering the coefficientq from the equation u_t – u_xx + q(x)u = f_j(x) with homogeneousinitial and boundary conditions. The nonhomogeneous source terms form a basis for L²(0,1).It is proved that a unique determination is possible from datameasurements consisting of either the flux at one end of thebar or the net flux leaving the bar, taken at a single fixedtime for each input source. An algorithm that allows efficientnumerical reconstruction of q(x) from finite data is given.     

An Application of the Fefferman-Stein Inequality to the Study of the Tent Spaces

The purpose of this note is to show how a result on tent spacesproved by Coifman, Meyer and Stein, namely the L^p-norm relationshipbetween the functionals A_q and C_q appearing in the definitionof such spaces, can be derived easily from the Fefferman-SteinL^p-inequality for the sharp maximal function.     

Maximal Subgroups of Large Rank in Exceptional Groups of Lie Type

Let G = G(q) be a finite almost simple exceptional group ofLie type over the field of q elements, where q = p^a and p isprime. The main result of the paper determines all maximal subgroupsM of G(q) such that M is an almost simple group which is alsoof Lie type in characteristic p, under the condition that rank(M)> rank(G). The conclusion is that either M is a subgroupof maximal rank, or it is of the same type as G over a subfieldof F_q, or (G, M) is one of (, F₄(q)), (, C₄(q)), (E₇(q),³D₄(q)). This completes work of the first author with Saxl andTesterman, in which the same conclusion was obtained under someextra assumptions.     

SCALED ASYMPTOTICS FOR SOME q-SERIES

This work, investigates the asymptotics for Euler’s q-exponentialE_q(z), Ramanujan’s function A_q(z), Jackson’s q-Besselfunction J_v⁽²⁾ (z; q), the Stieltjes–Wigert orthogonalpolynomials S_n(x; q) and q-Laguerre polynomials L_n⁽⁾ (x; q)as q approaches 1.     

Singularities and Limit Functions in Iteration of Meromorphic Functions

Let f(z) be a transcendental meromorphic function. The paperinvestigates, using the hyperbolic metric, the relation betweenthe forward orbit P(f) of singularities of f^–1 and limitfunctions of iterations of f in its Fatou components. It ismainly proved, among other things, that for a wandering domainU, all the limit functions of {fⁿ|_U} lie in the derived setof P(f) and that if f^np|_V q(n +) for a Fatou component V, theneither q is in the derived set of S_p (f) or f^p(q) = q. As applicationsof main theorems, some sufficient conditions of the non-existenceof wandering domains and Baker domains are given.     

Hemisystems on the Hermitian Surface

The natural geometric setting of quadrics commuting with a Hermitiansurface of PG(3,q²), q odd, is adopted and a hemisystem on theHermitian surface H(3,q²) admitting the group P^–(4,q)is constructed, yielding a partial quadrangle PQ((q–1)/2,q²,(q–1)²/2) and a strongly regular graph srg((q³+1)(q+1)/2,(q²+1)(q–1)/2,(q–3)/2,(q–1)²/2).For q>3, no partial quadrangle or strongly regular graphwith these parameters was previously known, whereas when q=3,this is the Gewirtz graph. Thas conjectured that there are nohemisystems on H(3,q²) for q>3, so these are counterexamplesto his conjecture. Furthermore, a hemisystem on H(3,25) admitting3.A₇.2 is constructed. Finally, special sets (after Shult) andovoids on H(3,q²) are investigated.     

De Rham Cohomology and Hodge Decomposition For Quantum Groups

Let be one of the N²-dimensionalbicovariant first order differential calculi for the quantumgroups GL_q(N), SL_q(N), SO_q(N), or Sp_q(N), where q is a transcendentalcomplex number and z is a regular parameter. It is shown thatthe de Rham cohomology of Woronowicz' external algebra coincides with the de Rham cohomologiesof its left-coinvariant, its right-coinvariant and its (two-sided)coinvariant subcomplexes. In the cases GL_q(N) and SL_q(N) thecohomology ring is isomorphic to the coinvariant external algebra and to the vector space of harmonic forms. We prove a Hodge decomposition theorem in thesecases. The main technical tool is the spectral decompositionof the quantum Laplace-Beltrami operator. 2000 MathematicalSubject Classification: 46L87, 58A12, 81R50.     

A multigrid-type method for thin plate spline interpolation on a circle

We consider the problem of thin plate spline interpolation ton equally spaced points on a circle, where the number of datapoints is sufficiently large for work of O(n³ to be unacceptable.We develop an iterative multigrid-type method, each iterationcomprising ngrid stages, and n being an integer multiple of2^ngrid–1. We let the first grid, V₁ be the full set ofdata points, V say, and each subsequent (coarser) grid, V_k,k=2, 3,...,ngrid, contain exactly half of the data points ofthe preceding (finer) grid, these data points being equallyspaced. At each stage of the iteration, we correct our current approximationto the thin plate spline interpolant by an estimate of the interpolantto the current residuals on V_k, where the correction is constructedfrom Lagrange functions of interpolation on small local subsetsof p data points in V_k. When the coarsest grid is reached, however,then the interpolation problem is solved exactly on its q=n/2^ngrid–1points. The iterative process continues until the maximum residualdoes not exceed a specified tolerance. Each iteration has the effect of premultiplying the vector ofresiduals by an n x n matrix R, and thus convergence will dependupon the spectral radius, (R), of this matrix. We investigatethe dependence of the spectral radius on the values of n, p,and q. In all the cases we have considered, we find (R) <<1, and thus rapid convergence is assured.     

Asymptotically Sharp Bounds in the Hardy-Littlewood Inequalities on Mean Values of Analytic Functions

Let f be analytic in the unit disc, and let it belong to theHardy space H^p, equipped with the usual norm ||f||_p. It is knownfrom the work of Hardy and Littlewood that for q > _p, theconstants [formula] with the usual extension to the case where q = , have C(p,q)< . The authors prove that [formula] and [formula] 2000 Mathematics Subject Classification 30D55, 30A10.     

The Effect of Sidewalls on Overstable Convection in a Rotating Fluid

A simple two-dimensional model is used to demonstrate some interestingeffects which arise when Chandrasekhar's (1962) theory of overstableconvection in an infinite rotating fluid layer is modified totake account of lateral walls. The aim of the investigationis to determine how sidewalls aligned with the convective rollsaffect the critical Rayleigh number and frequency of oscillationand also how the overstable eigensolutions are related to thepreviously determined stationary solutions of the equations(Daniels, 1977). For containers of large aspect ratio, L, thecritical Rayleigh number for overstability is R_o+O(L^–1)(where R_o is the value for the infinite layer) and in the neighbourhoodof this single perturbed value it is found that there is aninfinite spectrum of overstable eigenvalues with frequencieswhich differ by O(L^–1). The O(L^–1) correction toR_o is determined analytically for the case of small Prandtlnumber and rapid rotation.     

A Multiplicative Property of Quantum Flag Minors II

Let U⁺ be the plus part of the quantized enveloping algebraof a simple Lie algebra of type A_n and let B^* be the dual canonicalbasis of U⁺. Let b, b' be in B^*, and suppose that one of thetwo elements is a q-commuting product of quantum flag minors.It is shown that b and b' are multiplicative if and only ifthey q-commute.     

The tower of K-theory of truncated polynomial algebras

Let A be a regular noetherian F_p-algebra. The relative K-groupsK_q(A[x]/(x^m),(x)) and the Nil-groups Nil_q(A[x]/(x^m)) were evaluatedby the author and Ib Madsen in terms of the big de Rham–Wittgroups W_rA^q of the ring A. In this paper, we evaluate the mapsof relative K-groups and Nil-groups induced by the canonicalprojection f: A[x]/(x^m) A[x]/(xⁿ). The result depends stronglyon the prime p. It generalizes earlier work by Stienstra onthe groups in degrees 2 and 3. Received February 28, 2007.     

Differentiability Properties of an Abstract Autonomous Composition Operator

The autonomous composition operator is the nonlinear map whichtakes a pair of functions into its composite function. The compositionoperator often appears in problems of nonlinear analysis andto analyse such problems it is often important to know whetherthe composition operator is continuous or differentiable. Afairly large number of papers in the literature have been devotedto the study of composition operators. For fullscale references,we refer the reader to the extensive monographs of Appell andZabrejko [1] and Runst and Sickel [8]. To exemplify a typicalsituation, we consider the semilinear Dirichlet boundary valueproblem where denotes a sufficiently regular bounded open subset ofR^N, and h₀ a map of R to R, and where u is the unknown of theproblem. We assume that we know that a certain function u₀ belongingto a certain function space X solves (1.1). Then if we wishto know whether by perturbing h₀ in a certain function space,say Y, the solutions u depend on h continuously, with differentiability,with analyticity or bifurcate, we could set G[h, u] u+h u,recast problem (1.1) into the abstract form G[h, u] (1.2) and study the solution set of equation (1.2) around the pair(h₀, u₀) by means of the implicit function theorem or by localbifurcation theorems in a Banach space setting.