On the exactness of certain inequalities in approximation theory

We prove the following: for every sequence {F_v}, F_v ? 0, F_v > 0 there exists a functionf such that

1. E_n(f)?F_n (n=0, 1, 2, ...) and
2. A_kn^?k? _v=1 ⁿ v^k?1 F_v?1?Ω_k (f, n^?1) (n=1, 2, ...).

     

Global residues for sparse polynomial systems

We consider families of sparse Laurent polynomials f₁,…,f_n with a finite set of common zeros Z_f in the torus Tⁿ=(C−{0})ⁿ. The global residue assigns to every Laurent polynomial g the sum of its Grothendieck residues over Z_f. We present a new symbolic algorithm for computing the global residue as a rational function of the coefficients of the f_i when the Newton polytopes of the f_i are full-dimensional. Our results have consequences in sparse polynomial interpolation and lattice point enumeration in Minkowski sums of polytopes.     

Using Stepanov's method for exponential sums involving rational functions

For any additive character ψ and multiplicative character χ on a finite field F_q, and rational functions f,g in F_q(x), we show that the elementary Stepanov-Schmidt method can be used to obtain the corresponding Weil bound for the sum ∑_x∈Fq?Sχ(g(x))ψ(f(x)) where S is the set of the poles of f and g. We also determine precisely the number of characteristic values ω_i of modulus q^1/2 and the number of modulus 1.     

A more accurate Briggs method for the logarithm

A new approach for computing an expression of the form a^1/2k-1a^{1/2^k}-1 is presented that avoids the danger of subtractive cancellation in floating point arithmetic, where a is a complex number not belonging to the closed negative real axis and k is a nonnegative integer. We also derive a condition number for the problem. The algorithm therefore allows highly accurate numerical calculation of log(a) using Briggs’ method.     

A Midpoint Method for Generalized Equations Under Mild Differentiability Condition

The aim of this study is the approximation of a solution x ^? of the generalized equation 0∈f(x)+F(x) in Banach spaces, where f is a single function whose second order Fréchet derivative ?² f verifies an Hölder condition, and F stands for a set-valued map with closed graph. Using a fixed point theorem and proceeding by induction under the pseudo-Lipschitz property of F, we obtain a sequence defined by a midpoint formula whose convergence to x ^? is superquadratic. Taking a weaker condition, we present the result obtained when ?² f satisfies a center-Hölder conditioning.     

Continuity of iteration and approximation of iterative roots

Motivated by computing iterative roots for general continuous functions, in this paper we prove the continuity of the iteration operators T_n, defined by T_nf=fⁿ. We apply the continuity and introduce the concept of continuity degree to answer positively the approximation question: If lim_m→∞F_m=F, can we find an iterative root f_m of F_m of order n for each m∈N such that the sequence (f_m) tends to the iterative root of F of order n associated with a given initial function? We not only give the construction of such an approximating sequence (f_m) but also illustrate the approximation of iterative roots with an example. Some remarks are presented in order to compare our approximation with the Hyers-Ulam stability.     

Algorithms for computing the global infimum and minimum of a polynomial function

By catching the so-called strictly critical points,this paper presents an effective algorithm for computing the global infimum of a polynomial function.For a multivariate real polynomial f ,the algorithm in this paper is able to decide whether or not the global infimum of f is finite.In the case of f having a finite infimum,the global infimum of f can be accurately coded in the Interval Representation.Another usage of our algorithm to decide whether or not the infimum of f is attained when the global infimum of f is finite.In the design of our algorithm,Wu’s well-known method plays an important role.     

On the Behaviour of the spectral characteristic of Feigenbaum’s map

Let T _g : [?1, 1] ?? [?1, 1] be the Feigenbaum map. It is well known that T _g has a Cantor-type attractor F and a unique invariant measure ??₀ supported on F. The corresponding unitary operator (U _g ??)(x) = ??(g(x)) has pure point spectrum consisting of eigenvalues ?? _n,r , n ?? 1, 0 ?? r ?? 2 ^n?1 ? 1 with eigenfunctions e _r ⁽ⁿ⁾ (x). Suppose that f ?? C ¹([?1, 1]), f?? is absolutely continuous on [?1, 1] and f?? ?? L ^p ([?1, 1], d??₀), p > 1. Consider the sum of the amplitudes of the spectral measure of f: $$ Sn(f): = \sum\limits_{r = 0}^{2^n - 1} {|\rho _r^{(n)} |^2 ,\rho _r^{(n)} = \int\limits_{ - 1}^1 {f(x)\overline {e_r^{(n)} (x)} d\mu _o } } (x). $$ Using the thermodynamic formalism for T _g we prove that S _n (f) ?? 2^?n q ⁿ , as n ?? ??, where the constant q ?? (0, 1) does not depend on f.     

Holomorphic Extensions of Whitney Jets

Let φ be a Whitney jet on a closed set F ? ?. By Whitney’s extension theorem φ can be extended to an infinitely differentiable function f on ? which is real analytic on ? F. The main purpose of this article is to show that f can be chosen in such a way that f¦_?F has a holomorphic continuation to the open set (? F) × i? ? ?. In the special case that F is a compact interval or a single point we can even achieve that f¦_?F has a holomorphic continuation to all of $\hat {\rm C}\setminus F$ . In particular, this implies an improvement of the well-known theorem of E. Borel. We also investigate the question when such extensions are given by a so-called extension operator.     

On the distribution of values of certain divisor functions

Let {?_d} be a sequence of nonnegative numbers and f(n) = Σ?_d, the sum being over divisors d of n. We say that f has the distribution function F if for all c ≥ 0, the number of integers n ≤ x for which f(n) > c is asymptotic to xF(c), and we investigate when F exists and when it is continuous.     

Bounding sup-norms of cusp forms of large level

Let f be an L ²-normalized weight zero Hecke-Maaß cusp form of square-free level N, character χ and Laplacian eigenvalue λ≥1/4. It is shown that ‖f‖_∞? _λ N ^?1/37, from which the hybrid bound ‖f‖_∞?λ ^1/4(N λ)^?δ (for some δ>0) is derived. The first bound holds also for f=y ^k/2 F where F is a holomorphic cusp form of weight k with the implied constant now depending on k.     

Logarithmic residues in Banach algebras

Letf be an analytic Banach algebra valued function and suppose that the contour integral of the logarithmic derivativef′f ^?1 around a Cauchy domainD vanishes. Does it follow thatf takes invertible values on all ofD? For important classes of Banach algebras, the answer is positive. In general, however, it is negative. The counterexample showing this involves a (nontrivial) zero sum of logarithmic residues (that are in fact idempotents). The analysis of such zero sums leads to results about the convex cone generated by the logarithmic residues.     

Vertical soundings at Ahmedabad during partial solar eclipse on 14th December 1955

The results of vertical ionospheric soundings at Ahmedabad during the partial (magnitude 47%) solar eclipse on 14th December 1955 are discussed. The critical frequency of the E layer on control days varied according to the lawf _oE=kcos ⁿ X, k andn having the mean values 4·06 Mc./s. and 0·37 respectively. The variation off _oE during eclipse period was roughly consistent with that of Chapman Layer with a recombination coefficient of about 0·8 × 10^?8 cm.³ sec.^?1 The critical frequencies of E₁, E₂ and F₁ layers decreased during eclipse, though the variations were irregular. The percentage deviation off ₀F₂ on the eclipse day from the control day values showed a minimum at about the middle of the eclipse period. There were indications of the formation off _1·5 during the latter part of the eclipse. Semi-thickness of the F₂ layer had increased during the eclipse period. Sporadic E layer was not affected by the eclipse.     

Nonnegative functions as squares or sums of squares

We prove that, for n?4, there are C^∞ nonnegative functions f of n variables (and even flat ones for n?5) which are not a finite sum of squares of C² functions. For n=1, where a decomposition in a sum of two squares is always possible, we investigate the possibility of writing f=g². We prove that, in general, one cannot require a better regularity than g∈C¹. Assuming that f vanishes at all its local minima, we prove that it is possible to get g∈C² but that one cannot require any additional regularity.     

Newton Polygons of L Functions Associated with Exponential Sums of Polynomials of Degree Four over Finite Fields

Let F_q be the finite field of q elements with characteristic p and F_q^m its extension of degree m. Fix a nontrivial additive character Ψ of F_p. If f(x₁,…, x_n)∈F_q[x₁,…, x_n] is a polynomial, then one forms the exponential sum S_m(f)=∑_{(x1,…,xn)∈(Fq^m)ⁿ}Ψ(Tr_Fq^m/Fp(f(x₁,…,x_n))). The corresponding L functions are defined by L(f, t)=exp(∑^∞_m=0S_m(f)t^m/m). In this paper, we apply Dwork's method to determine the Newton polygon for the L function L(f(x), t) associated with one variable polynomial f(x) when deg f(x)=4. As an application, we also give an affirmative answer to Wan's conjecture for the case deg f(x)=4.     

On the solvability of the jump problem in clifford analysis

Let Ω be a bounded open and oriented connected subset of ? ⁿ which has a compact topological boundary Γ, let C be the Dirac operator in ? ⁿ , and let ?_0,n be the Clifford algebra constructed over the quadratic space ? ⁿ . An ?_0,n -valued smooth function f : Ω → ?_0,n in Ω is called monogenic in Ω if Df = 0 in Ω. The aim of this paper is to present the most general condition on Γ obtained so far for which a Hölder continuous function f can be decomposed as F ⁺ ? F ^? = f on Γ, where the components F ^± are extendable to monogenic functions in Ω^± with Ω⁺ := Ω, and Ω^? := ? ⁿ \ (Ω ? Γ), respectively.     

Liouville-Type Theorems and Applications to Geometry on Complete Riemannian Manifolds

On a complete Riemannian manifold M with Ricci curvature satisfying $$\mathrm{Ric}(\nabla r,\nabla r) \geq -Ar^2(\log r)^2(\log(\log r))^2\cdots (\log^{k}r)^2$$ for r?1, where A>0 is a constant, and r is the distance from an arbitrarily fixed point in M, we prove some Liouville-type theorems for a C ² function f:M→? satisfying Δf≥F(f) for a function F:?→?. As an application, we obtain a C ⁰ estimate of a spinor satisfying the Seiberg–Witten equations on such a manifold of dimension 4. We also give applications to the conformal transformation of the scalar curvature and isometric immersions of such a manifold.     

Effective conductivity of a random suspension of highly conducting spherical particles

Randomly distributed non-overlapping perfectly conducting spheres are embedded in a conducting matrix with the concentration of inclusions f. Jeffrey (1973) suggested an analytical formula valid up to O(f³) for macroscopically isotropic random composites. A conditionally convergent sum arose in the spatial averaging. In the present paper, we apply a method of functional equations to random composites and correct Jeffrey’s formula. The main revision concerns the proper investigation of the conditionally convergent sum and correction the f²-term. An algorithm for symbolic computations of the effective conductivity tensor is developed and performed up to $O\left(f^{\frac{10}{3}}\right)$. The obtained formulae explicitly demonstrate the dependence of the effective conductivity tensor on the deterministic and probabilistic distributions of inclusions in the f²-term, and in the f³-term. This leads to the conclusion that some previous formulae presented as universal, i.e., valid for all random composites, may be actually applied only to dilute or to special composites when interaction between inclusions do not matter.     

On the trivectors of a 6-dimensional symplectic vector space

Let V be a 6-dimensional vector space over a field F, let f be a nondegenerate alternating bilinear form on V and let Sp(V,f)≅Sp₆(F) denote the symplectic group associated with (V,f). The group GL(V) has a natural action on the third exterior power ?³V of V and this action defines five families of nonzero trivectors of V (four of whose are orbits for any choice of F). In this paper, we divide three of these five families into orbits for the action of Sp(V,f)⊆GL(V) on ?³V.     

A general method for constructing quasi-interpolants from B-splines

A general method for constructing quasi-interpolation operators based on B-splines is developed. Given a B-spline ? in R^s, s≥1, normalized by ∑_i∈Z^s?(⋅−i)=1, the classical structure Q(f)?∑_i∈Z^sλf(⋅+i)?(⋅−i), for a quasi-interpolation operator Q is considered. A minimization problem is derived from an estimate of the quasi-interpolation error associated with Q when λf is a linear combination of values of f at points in some neighbourhood of the support of ?; or a linear combination of values of f and some of its derivatives at some points in this set; or a linear combination of weighted mean values of the function to be approximated. That linear functional is defined to produce a quasi-interpolant exact on the space of polynomials of maximal total degree included in the space spanned by the integer translates of ?. The solution of that minimization problem is characterized in terms of specific splines which do not depend on λ but only on ?.