Weighted polynomial approximation with Freud weights

We show that ifw(x)=exp(–|x|), then in the case =1 for every continuousf that vanishes outside the support of the corresponding extremal measure there are polynomialsP _n of degree at mostn such thatw ⁿ P _n uniformly tends tof, and this is not true when <1. these=" are=" the=" missing=" cases=" concerning=" approximation=" by=" weighted=" polynomials=" of=" the=">w ⁿ P _n wherew is a Freud weight. Our second theorem shows that even if we are only interested in approximation off on the extremal support, the functionf must still vanish at the endpoints, and we actually determine the (sequence of) largest possible intervals where approximation is possible. We also briefly discuss approximation by weighted polynomials of the formW(a_nx)P _n (x).Communicated by Edward B. Saff.     

A best approximation for the solution of one‐dimensional variable‐coefficient Burgers' equation

In this article, an iterative method for the approximate solution to one‐dimensional variable‐coefficient Burgers' equation is proposed in the reproducing kernel space W_(3,2). It is proved that the approximation w_n(x,t) converges to the exact solution u(x,t) for any initial function w₀(x,t) ε W_(3,2), and the approximate solution is the best approximation under a complete normal orthogonal system . Moreover the derivatives of w_n(x,t) are also uniformly convergent to the derivatives of u(x,t).© 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2009     

Simultaneous inhomogeneous diophantine approximation on manifolds

In 1998, Kleinbock and Margulis proved Sprindzuk’s conjecture pertaining to metrical Diophantine approximation (and indeed the stronger Baker–Sprindzuk conjecture). In essence, the conjecture stated that the simultaneous homogeneous Diophantine exponent w ₀(x) = 1/n for almost every point x on a nondegenerate submanifold M \mathcal{M} of \mathbbRⁿ {\mathbb{R}^n} . In this paper, the simultaneous inhomogeneous analogue of Sprindzuk’s conjecture is established. More precisely, for any “inhomogeneous” vector θ ∈ \mathbbRⁿ {\mathbb{R}^n} we prove that the simultaneous inhomogeneous Diophantine exponent w ₀(x , θ) is 1/n for almost every point x on M \mathcal{M} . The key result is an inhomogeneous transference principle which enables us to deduce that the homogeneous exponent w ₀(x) is 1/n for almost all x ∈ M \mathcal{M} if and only if, for any θ ∈ \mathbbRⁿ {\mathbb{R}^n} , the inhomogeneous exponent w ₀(x , θ) = 1/n for almost all x ∈ M \mathcal{M} . The inhomogeneous transference principle introduced in this paper is an extremely simplified version of that recently discovered by us. Nevertheless, it should be emphasised that the simplified version has the great advantage of bringing to the forefront the main ideas while omitting the abstract and technical notions that come with describing the inhomogeneous transference principle in all its glory.     

Entropy numbers of embeddings of weighted Besov spaces III. Weights of logarithmic type

We determine the exact asymptotic order of the entropy numbers of compact embeddings of weighted Besov spaces in the case where the ratio of the weights w(x) = w ₁(x)/w ₂(x) is of logarithmic type. This complements the known results for weights of polynomial type. The estimates are given in terms of the number 1/p = 1/p ₁ − 1/p ₂ and the function w(x). We find an interesting new effect: if the growth rate at infinity of w(x) is below a certain critical bound, then the entropy numbers depend only on w(x) and no longer on the parameters of the two Besov spaces. All results remain valid for Triebel–Lizorkin spaces as well.     

The asymptotic number of labeled connected graphs with a given number of vertices and edges

Let c(n, q) be the number of connected labeled graphs with n vertices and q ≤ N = (2n ) edges. Let x = q/n and k = q ? n. We determine functions w_k ? 1. a(x) and φ(x) such that c(n, q) ? w_k(q^N)eⁿφ(x)+a(x) uniformly for all n and q ≥ n. If ? > 0 is fixed, n→ ∞ and 4q > (1 + ?)n log n, this formula simplifies to c(n, q) ? (N^q) exp(–ne^?2q/n). on the other hand, if k = o(n^1/2), this formula simplifies to c(n, n + k) ? 1/2 w_k (3/π)^1/2 (e/12k)^k/2nⁿ?^(3k?1)/2.     

Multiresolution Approximations and Wavelet Bases of WeightedLpSpaces

We study boundedness and convergence on L ^p (R ⁿ ,d) of the projection operators P _j given by MRA structures with non-necessarily compactly supported scaling function. As a consequence, we prove that if w is a locally integrable function such that w ^-(1/p–1)(x) (1+|x|)^-N is integrable for some N > 0, then the Muckenhoupt A _p condition is necessary and sufficient for the associated wavelet system to be an unconditional basis for the weighted space L ^p (R ⁿ ,w(x) dx), 1 < p < .     

Gaussian upper bounds for fundamental solutions of a family of parabolic equations

We study the family of divergence-type second-order parabolic equations w_e(x)\frac?u?t=div(a(x)w_e(x) ?u), x ? \mathbbRⁿ{\omega_\varepsilon(x)\frac{\partial u}{\partial t}={\rm div}(a(x)\omega_\varepsilon(x) \nabla u), x \in \mathbb{R}^n} , with parameter ${\varepsilon >0 }${\varepsilon >0 } , where a(x) is uniformly elliptic matrix and w_e=1{\omega_\varepsilon=1} for x _n  < 0 and w_e=e{\omega_\varepsilon=\varepsilon} for x _n  > 0. We show that the fundamental solution obeys the Gaussian upper bound uniformly with respect to e{\varepsilon} .     

An algorithm of MCMC method for solving F(X) =0

An algorithm of continuous stage-space MCMC method for solving algebra equation f(x)=0 is given. It is available for the case that the sign of f(x) changes frequently or the derivative f′(x) does not exist in the neighborhood of the root, while the Newton method is hard to work. Let n be the number of random variables created by computer in our algorithm. Then after m=O(n) transactions from the initial value x ₀,x* can be got such that |f(x*)|<e ^−cm |f(x ₀)| by choosing suitable positive constant c. An illustration is also given with the discussion of convergence by adjusting the parameters in the algorithm. Supported by the National Natural Science Foundation of China (70171008).     

A counterexample in copositive approximation

The present paper gives a converse result by showing that there exists a functionf ∈C _[−1,1], which satisfies that sgn(x)f(x) ≥ 0 forx ∈ [−1, 1], such that {fx75-1} whereE _n ⁽⁰⁾ (f, 1) is the best approximation of degreen tof by polynomials which are copositive with it, that is, polynomialsP withP(x(f(x) ≥ 0 for allx ∈ [−1, 1],E _n(f) is the ordinary best polynomial approximation off of degreen.     

Rational approximation with varying weights I

We investigate two problems concerning uniform approximation by weighted rationals {w ⁿr_n～ _∞ ⁿ⁼¹ }, wherer _n=p_n Namely, forw(x):=e ^x we prove that uniform convergence to 1 ofw ⁿr_n is not possible on any interval [0,a] witha>2π. Forw(x):=x ^?, ?>1, we show that uniform convergence to 1 ofw ⁿr_n is not possible on any interval [b, 1] withb<tan ⁴(π(??1)/4?). (The latter result can be interpreted as a rational analogue of results concerning “incomplete polynomials.”) More generally, for α≥0, β≥0, α+β>0, we investigate forw(x)=e ^x andw(x)=x ^?, the possibility of approximation byw ⁿ p_n/q_n～ _∞ ⁿ⁼¹ , where depp _n≤αn, degq _n≤βn. The analysis utilizes potential theoretic methods. These are essentially sharp results though this will not be established in this paper.     

On the spectral radius of weighted trees with given number of pendant vertices and a positive weight set

Let 𝒯(n,?r;?W _n?1) be the set of all n-vertex weighted trees with r vertices of degree 2 and fixed positive weight set W _n?1, 𝒫(n,?γ;?W _n?1) the set of all n-vertex weighted trees with q pendants and fixed positive weight set W _n?1, where W _n?1?=?{w ₁,?w ₂,?…?,?w _n?1} with w ₁???w ₂???···???w _n?1?>?0. In this article, we first identify the unique weighted tree in 𝒯(n,?r;?W _n?1) with the largest adjacency spectral radius. Then we characterize the unique weighted trees with the largest adjacency spectral radius in 𝒫(n,?γ;?W _n?1).     

On weighted Lebesgue function type sums

Let I be a finite or infinite interval and dμ a measure on I. Assume that the weight function w(x)>0, w^′(x) exists, and the function w^′(x)/w(x) is non-increasing on I. Denote by ℓ_k's the fundamental polynomials of Lagrange interpolation on a set of nodes x₁<x₂<<x_n in I. The weighted Lebesgue function type sum for 1≤i<j≤n and s≥1 is defined by

In this paper the exact lower bounds of S_n(x) on a “big set” of I and are obtained. Some applications are also given.     

Small alliances in a weighted graph

We extend the notion of a defensive alliance to weighted graphs. Let (G,w) be a weighted graph, where G is a graph and w be a function from V(G) to the set of positive real numbers. A non-empty set of vertices S in G is said to be a weighted defensive alliance if ∑_{x∈NG(v)∩S}w(x)+w(v)≥∑_{x∈NG(v)−S}w(x) holds for every vertex v in S. Fricke et al. (2003) [3] have proved that every graph of order n has a defensive alliance of order at most . In this note, we generalize this result to weighted defensive alliances. Let G be a graph of order n. Then we prove that for any weight function w on V(G), (G,w) has a defensive weighted alliance of order at most . We also extend the notion of strong defensive alliance to weighted graphs and generalize a result in Fricke et al. (2003) [3].     

A simple formula for an analogue of conditional wiener integrals and its applications II

Let C[0, T] denote the space of real-valued continuous functions on the interval [0, T] with an analogue w _ϕ of Wiener measure and for a partition 0 = t ₀ < t ₁ < ... < t _n < t _n+1 = T of [0, T], let X _n : C[0, T] → ℝ ⁿ⁺¹ and X ⁿ⁺¹: C[0, T] → ℝ ⁿ⁺² be given by X _n (x) = (x(t ₀), x(t ₁), ..., x(t _n )) and X _n+1(x) = (x(t ₀), x(t ₁), ..., x(t _n+1)), respectively. In this paper, using a simple formula for the conditional w _ϕ-integral of functions on C[0, T] with the conditioning function X _n+1, we derive a simple formula for the conditional w _ϕ-integral of the functions with the conditioning function X _n . As applications of the formula with the function X _n , we evaluate the conditional w _ϕ-integral of the functions of the form F _m (x) = ∫₀ ^T (x(t)) ^m for x ∈ C[0, T] and for any positive integer m. Moreover, with the conditioning X _n , we evaluate the conditional w _ϕ-integral of the functions in a Banach algebra which is an analogue of the Cameron and Storvick’s Banach algebra . Finally, we derive the conditional analytic Feynman w _ϕ-integrals of the functions in .      

Weighted inequalities and a.e. convergence for Poisson integrals in light-cones

We show that the Poisson maximal operator for the tube over the light-cone, P ^*, is bounded in the weighted space L ^p (w) if and only if the weight w(x) belongs to the Muckenhoupt class A _p . We also characterize with a geometric condition related to the intrinsic geometry of the cone the weights v(x) for which P ^* is bounded from L ^p (v) into L ^p (u), for some other weight u(x) > 0. Some applications to a.e. restricted convergence of Poisson integrals are given.     

Relativistic Lamé functions: Completeness vs. polynomial asymptotics

In earlier work we introduced and studied two commuting generalized Lamé operators, obtaining in particular joint eigenfunctions for a dense set in the natural parameter space. Here we consider these difference operators and their eigenfunctions in relation to the Hilbert space L²((0, π/r), w(x)dx), with r > 0 and the weight function w(x) a ratio of elliptic gamma functions. In particular, we show that the previously known pairwise orthogonal joint eigenfunctions need only be supplemented by finitely many new ones to obtain an orthogonal base. This completeness property is derived by exploiting recent results on the large-degree Hilbert space asymptotics of a class of orthonormal polynomials. The polynomials p_n(cos(rx)), n ε , that are relevant in the Lamé setting are orthonormal in L²((0, π/r), w_P(x)dx), with w_p(x) closely related to w(x).     

Approximation of the vth Root of N

We present a class of functions g_K(w), K ≥ 2, for which the recursive sequences w_{n + 1} = g_K(w_n) converge to N^1/v with relative error . Newton's method results when K = 2. The coefficients of the g_K(w) form a triangle, which is Pascal's for v = 2. In this case, if w₁ = x₁/y₁, where x₁, y₁ is the first positive solution of Pell's equation x² ? Ny² = 1, then w_{n + 1} = x_{n + 1}/y_{n + 1} is the Kⁿpth or 2Kⁿpth convergent of the continued fraction for , its period p being even or odd.     

Weighted Polynomial Approximation for Convex External Fields

It is proven that if Q is convex and w(x)= exp(-Q(x)) is the corresponding weight, then every continuous function that vanishes outside the support of the extremal measure associated with w can be uniformly approximated by weighted polynomials of the form w ⁿ P _n . This solves a problem of P. Borwein and E. B. Saff. Actually, a similar result is true locally for any parts of the extremal support where Q is convex. February 10, 1998. Date revised: July 23, 1998. Date accepted: August 17, 1998.     

A generalization of the inversion formulas of systems of power series in systems of implicit functions

Using a multidimensional analog of the logarithmic residue, equations are derived expressing the coefficients of the power series of implicit functionsx _j =_j(w)=_j(w₁,...,w_m), j=1,...,n, defined by the system of equations f_j(w, x)=F_j (w₁,...,w_m:z₁,...,x _n )=0, j=1,...,n,f _j , (0, 0)=0, F_j(0, 0)/z_k=_jk in a neighborhood of the point (0, 0)C _(w,x) ^m+n , in terms of the coefficients of the power series of the functions F_j(w, z), j=1, ..., n. As a corollary, well-known formulas are obtained for the inversion of multiple power series.Translated from Matematicheskie Zametki, Vol. 23, No. 1, pp. 47–54, January, 1978.     

On Theories Having Three Countable Models

A theory T is called almost ??₀-categorical if for any pure types p₁(x₁),…,p_n(x_n) there are only finitely many pure types which extend p₁(x₁) ∪…∪p_n(x_n). It is shown that if T is an almost ??₀-categorical theory with I(??₀,T) = 3, then a dense linear ordering is interpretable in T.