A class of multiwavelets and projected frames from two-direction wavelets

This article aims at studying two-direction refinable functions and two-direction wavelets in the setting ?^s, s > 1. We give a sufficient condition for a two-direction refinable function belonging to L²(?^s). Then, two theorems are given for constructing biorthogonal (orthogonal) two-direction refinable functions in L²(?^s) and their biorthogonal (orthogonal) two-direction wavelets, respectively. From the constructed biorthogonal (orthogonal) two-direction wavelets, symmetric biorthogonal (orthogonal) multiwaveles in L²(?^s can be obtained easily. Applying the projection method to biorthogonal (orthogonal) two-direction wavelets in L²(?^s, we can get dual (tight) two-direction wavelet frames in L²(?^m, where. m ≥ s From the projected dual (tight) two-direction wavelet frames in L²(?^m, symmetric dual (tight) frames in L²(?^m can be obtained easily. In the end, an example is given to illustrate theoretical results.     

Multivariate interpolating (m, l, s)-splines

The multivariate interpolating (m, l, s)-splines are a natural generalization of Duchon's thin plate splines (TPS). More precisely, we consider the problem of interpolation with respect to some finite number of linear continuous functionals defined on a semi-Hilbert space and minimizing its semi-norm. The (m, l, s)-splines are explicitly given as a linear combination of translates of radial basis functions. We prove the existence and uniqueness of the interpolating (m, l, s)-splines and investigate some of their properties. Finally, we present some practical examples of (m, l, s)-splines for Lagrange and Hermite interpolation.     

The Scholz theorem in function fields

The Scholz theorem in function fields states that the l-rank difference between the class groups of an imaginary quadratic function field and its associated real quadratic function field is either 0 or 1 for some prime l. Furthermore, Leopoldt's Spiegelungssatz (= the Reflection theorem) in function fields yields a comparison between the m-rank of some subgroup of the class group of an imaginary cyclic function field L₁ and the m-rank of some subgroup of the class group of its associated real cyclic function field L₂ for some prime number m; then their m-ranks also equal or differ by 1. In this paper we find an explicit necessary condition for their m-ranks (respectively l-ranks) to be the same in the case of cyclic function fields (respectively quadratic function fields). In particular, in the case of quadratic function fields, if l does not divide the regulator of L₂, then their l-ranks are the same, equivalently if their l-ranks differ by 1, then l divides the regulator of L₂.     

The existence and the non-existence of joint t-universality for Lerch zeta functions

In this paper, we show the following theorems. Suppose 0<al<1 are algebraically independent numbers and 0<λl?1 for 1?l?m. Then we have the joint t-universality for Lerch zeta functions L(λl,al,s) for 1?l?m. Next we generalize Lerch zeta functions, and obtain the joint t-universality for them. In addition, we show examples of the non-existence of the joint t-universality for Lerch zeta functions and generalized Lerch zeta functions.     

A note on the probabilistic approach to Turán's problem

The Turán number T(n, l, k) is the smallest possible number of edges in a k-graph on n vertices such that every l-set of vertices contains an edge. Given a k-graph H = (V(H), E(H)), we let X_s(S) equal the number of edges contained in S, for any s-set S?V(H). Turán's problem is equivalent to estimating the expectation E(X_l), given that min(X_l) ≥ 1. The following lower bound on the variance of X_s is proved:

$\text{Var(X}{}_{\mathrm{s}}\text{)?mm}\text{n?2k}\text{s?k}\text{n}\text{s}{}^{\mathrm{?1}}\text{n}\text{k}{}^1$

, where m = |E(H)| and $\text{m}\text{= (}{}_{\mathrm{k}}{}^{\mathrm{n}}\text{) ? m}$. This implies the following: putting t(k, l) = lim_n→∞T(n, l, k)(_kⁿ)^?1 then t(k, l) ≥ T(s, l, k)((_k^s) ? 1)^?1, whenever s ≥ l > k ≥ 2. A connection of these results with the existence of certain t-designs is mentioned.     

Bessel (Riesz) potentials on banach function spaces and their applications I theory

In this paper, we shall introduce the concept of the Bessel (Riesz) potential Köthe function spacesX ^s (X ^s ) and give some dual estimates for a class of operators determined by a semi-group in the spacesL ^q (?T, T; X ^s ) (L ^q (?T, T; X ^s )). Moreover, some time-spaceL ^p ?L ^p′ estimates for the semi-group exp(it(-Δ) ^m/2) and the operatorA:=∫ ₀ ^t exp(i(t-τ)(-Δ) ^m/2)·dτ in the Lebesgue-Besov spacesL ^q (?T,T;B _p,2 ^s are given. On the basis of these results, in a subsequent paper we shall present some further applications to a class of nonlinear wave equations.     

Lacunary interpolation by quartic splines on uniform meshes

The interpolation of a discrete set of data on the interval [0, 1], representing the first and the second derivatives (except at 0) of a smooth function f is investigated via quartic C²-splines. Error bounds in the uniform norm for ∥s⁽ⁱ⁾ − f⁽ⁱ⁾∥, i=0(1)2, if f ∈ C^l[0, 1], l=3, 5 and ⁽³⁾ ∈ BV[0, 1], together with computational examples will also be presented.     

On the Rédei zeta function

Let L be a locally finite lattice. An order function ν on L is a function defined on pairs of elements x, y (with x ≤ y) in L such that ν(x, y) = ν(x, z) ν(z, y). The Rédei zeta function of L is given by ?(s; L) = Σ_x∈Lμ(Ô, x) ν(Ô, x)^?s. It generalizes the following functions: the chromatic polynomial of a graph, the characteristic polynomial of a lattice, the inverse of the Dedekind zeta function of a number field, the inverse of the Weil zeta function for a variety over a finite field, Philip Hall's φ-function for a group and Rédei's zeta function for an abelian group. Moreover, the paradigmatic problem in all these areas can be stated in terms of the location of the zeroes of the Rédei zeta function.     

On the mean square of Lerch zeta-functions

Using the approximate functional equation for L(l,a, s) = ?_n=0^￥ [(e(ln))/((n+a)^s)] L(\lambda,\alpha, s) = \sum\limits_{n=0}^{\infty} {e(\lambda n)\over (n+\alpha)^s} , we prove for fixed parameters $ 0<\lambda,\alpha\leq 1 $ 0<\lambda,\alpha\leq 1 asymptotic formulas for the mean square of L(l,a,s) L(\lambda,\alpha,s) inside the critical strip. This improves earlier results of D. Klusch and of A. Laurin)ikas.     

Inequalities for the zeros of dirichlet L-functions

Let χ denote a primitive, Dirichlet character to the modulus q>i and let L(s,χ) be the corresponding Dirichlet L-series defined by L(s,χ) = ∑χ(n)n^?s,s = σ+it, for σ>0. It is of interest to know where the zeros of L(s,χ) are located, since the location of these zeros would yield important results in number theory. In this paper, we show that the spectrum of each member of a certain class of Hermitian matrices leads to an explicit zero-free region for L(s,χ).     

Local and global norm comparison theorems for solutions to the nonhomogeneous A-harmonic equation

We establish local and global norm inequalities for solutions of the nonhomogeneous A-harmonic equation A(x,g+du)=h+d^?v for differential forms. As applications of these inequalities, we prove the Sobolev-Poincaré type imbedding theorems and obtain Lp-estimates for the gradient operator ∇ and the homotopy operator T from the Banach space Ls(D,Λl) to the Sobolev space W1,s(D,Λl−1), l=1,2,…,n. These results can be used to study both qualitative and quantitative properties of solutions of the A-harmonic equations and the related differential systems.     

L-Splines

In this paper, we study the problem of unique interpolation and approximation by a class of spline functions,L-splines, containing as special cases the deficient and generalized spline functions ofAhlberg, Nilson, andWalsh [3, 5, 6], the Chebyshevian spline functions ofKarlin andZiegler [27], and the piecewise Hermite polynomial functions, as considered in [17]. We first give sufficient conditions for unique interpolation byL-spline functions in Section 2. Then, we obtain newL andL ² error estimates for interpolation byL-splines in Section 4, and show that these error estimates are, in a certain sense, sharp. In addition, we make a similar study for theg-splines ofSchoenberg, cf. [44, 3], in Section 5. In Section 6, an application of these new error estimates is made to the analysis of the error made in the use of finite dimensional subspaces ofL-splines andg-splines. in the Rayleigh-Ritz procedure for the class of nonlinear two-point boundary value problems studied in [17].Because of the rapid growth of the number of papers devoted to or connected with the topic of splines, we believe that a compilation of papers on splines for the reader's use is desirable, and such a list is found in the References at the end of this paper.This research was supported in part by NSF Grant GP-5553Papers not specifically concerned with splines are referred to in the text by [1, 2], etc.     

M(r, s)-ideals of compact operators

We study the position of compact operators in the space of all continuous linear operators and its subspaces in terms of ideals. One of our main results states that for Banach spaces X and Y the subspace of all compact operators K (X, Y) is an M(r ₁ r ₂, s ₁ s ₂)-ideal in the space of all continuous linear operators L(X, Y) whenever K (X,X) and K (Y, Y) are M(r ₁, s ₁)- and M(r ₂, s ₂)-ideals in L(X,X) and L(Y, Y), respectively, with r ₁ + s ₁/2 > 1 and r ₂ +s ₂/2 > 1. We also prove that the M(r, s)-ideal K (X, Y ) in L(X, Y ) is separably determined. Among others, our results complete and improve some well-known results on M-ideals.     

Metrics and undirected cuts

Suppose thatG is an undirected graph whose edges have nonnegative integer-valued lengthsl(e), and that {s ₁,t ₁},?, {s _m ,t _m } are pairs of its vertices. Can one assign nonnegative weights to the cuts ofG such that, for each edgee, the total weight of cuts containinge does not exceedl(e) and, for eachi, the total weight of cuts ‘separating’s _i andt _i is equal to the distance (with respect tol) betweens _i andt _i ? Using linear programming duality, it follows from Papernov's multicommodity flow theorem that the answer is affirmative if the graph induced by the pairs {s ₁,t ₁},?, {s _m ,t _m } is one of the following: (i) the complete graph with four vertices, (ii) the circuit with five vertices, (iii) a union of two stars. We prove that if, in addition, each circuit inG has an even length (with respect tol) then there exists a suitable weighting of the cuts with the weights integer-valued; moreover, an algorithm of complexity O(n ³) (n is the number of vertices ofG) is developed for solving such a problem. Also a class of metrics decomposable into a nonnegative linear combination of cut-metrics is described, and it is shown that the separation problem for cut cones isNP-hard.     

Dirichlet series related to the Riemann zeta function

A study is made of the function H(s, z) defined by analytic continuation of the Dirichlet series H(s, z) = Σ_n=1^∞n^?sΣ_m=1ⁿm^?z, where s and z are complex variables. For each fixed z it is shown that H(s, z) exists in the entire s-plane as a meromorphic function of s, and its poles and residues are determined. Also, for each fixed s ≠ 1 it is shown that H(s, z) exists in the entire z-plane as a meromorphic function of z, and again its poles and residues are determined. Two different representations of H(s, z) are given from which a reciprocity law, H(s, z) + H(z, s) = ζ(s) ζ(z) + ζ(s + z), is deduced. For each integer q ≥ 0 the function values H(s, ?q) and H(?q, s) are expressed in terms of the Riemann zeta function. Similar results are also obtained for the Dirichlet series T(s, z) = Σ_n=1^∞n^?sΣ_m=1ⁿm^?z (m + n)^?1. Applications include identities previously obtained by Ramanujan, Williams, and Rao and Sarma.     

A note on list improper coloring of plane graphs

A list-assignment L to the vertices of G is an assignment of a set L(v) of colors to vertex v for every v∈V(G). An (L,d)^∗-coloring is a mapping ? that assigns a color ?(v)∈L(v) to each vertex v∈V(G) such that at most d neighbors of v receive color ?(v). A graph is called (k,d)^∗-choosable, if G admits an (L,d)^∗-coloring for every list assignment L with |L(v)|≥k for all v∈V(G). In this note, it is proved that every plane graph, which contains no 4-cycles and l-cycles for some l∈{8,9}, is (3,1)^∗-choosable.     

Normalized trigonometric splines of Lagrange type

B _?-splines, which are a nonpolynomial generalization of the well-known B-splines, are investigated. B _?-splines arise from approximation relations regarded as a system of linear algebraical equations, from which both polynomial and nonpolynomial splines are derived. Third-order normalized trigonometric splines of Lagrange type (zero height) determined by the generating vector function ?(t) = (1, sin t, cos t, sin2 t) ^T are constructed. These splines are twice continuously differentiable and have minimal compact support. A system of functionals biorthogonal to B _?-splines is defined. The solution of the interpolation problem generated by the resulting biorthogonal system in the space of B _?-splines is found.     

On cyclic decompositions of the complete graph into the 2-regular graphs

The symbol C(m₁ ⁿ ₁m₂ ⁿ ₂...m_s ⁿ _s) denotes a 2-regular graph consisting ofn _i cycles of lengthm _i , i=1, 2,…,s. In this paper, we give some construction methods of cyclic(K _v ,G)-designs, and prove that there exists a cyclic(K _v , G)-design whenG=C((4m ₁) ⁿ ₁(4m ₂) ⁿ ₂...(4m _s ) ⁿ _s andv ≡ 1 (mod 2¦G¦).     

On n-Hamiltonian line graphs

With each nonempty graph G one can associate a graph L(G), called the line graph of G, with the property that there exists a one-to-one correspondence between E(G) and V(L(G)) such that two vertices of L(G) are adjacent if and only if the corresponding edges of G are adjacent. For integers m ≥ 2, the mth iterated line graph L^m(G) of G is defined to be L(L^m-1(G)). A graph G of order p ≥ 3 is n-Hamiltonian, 0 ≤ n ≤ p ? 3, if the removal of any k vertices, 0 ≤ k ≤ n, results in a Hamiltonian graph. It is shown that if G is a connected graph with δ(G) ≥ 3, where δ(G) denotes the minimum degree of G, then L²(G) is (δ(G) ? 3)-Hamiltonian. Furthermore, if G is 2-connected and δ(G) ≥ 4, then L²(G) is (2δ(G) ? 4)-Hamiltonian. For a connected graph G which is neither a path, a cycle, nor the graph K(1, 3) and for any positive integer n, the existence of an integer k such that L^m(G) is n-Hamiltonian for every m ≥ k is exhibited. Then, for the special case n = 1, bounds on (and, in some cases, the exact value of) the smallest such integer k are determined for various classes of graphs.     

CM values and central L-values of elliptic modular forms

Let f be a holomorphic cusp form of weight l on SL₂(Z) and Ω an algebraic Hecke character of an imaginary quadratic field K with Ω((α)) = (α/|α|) ^l for ${\alpha\in K^{\times}}Let f be a holomorphic cusp form of weight l on SL₂(Z) and Ω an algebraic Hecke character of an imaginary quadratic field K with Ω((α)) = (α/|α|) ^l for a ? K^×{\alpha\in K^{\times}}. Let L(f, Ω; s) be the Rankin-Selberg L-function attached to (f, Ω) and P(f, Ω) an “Ω-averaged” sum of CM values of f. In this paper, we give a formula expressing the central L-values L(f, Ω; 1/2) in terms of the square of P(f, Ω).