Tauberian Theorems for Sequences Satisfying Certain Convolution Relations

The purpose of this paper is to prove qualitative and optimal quantitative Tauberian theorems for the sequence λ defined by the relation g′ = λ∗︁g ,where ∗︁ denotes the Cauchy convolution, g is a given sequence with g(0) = 0 satisfying suitable growth conditions, and g′ is defined by g′(n) = (n + 1)g(n + 1) for n ∈ ℕ = {0, 1, 2, …}. The problem originates in the analytic theory of the distribution of prime elements in additive arithmetic semigroups developed by Knopfmacher , and in recent work of Indlekofer , Manstavičius and Warlimont , of Zhang , and of Warlimont . The new results are based on the approximation of g by recurrent sequences and do not assume λ ≥ 0; the method of proof consists in the transition to generating power series and utilizes a weighted version of a Wiener type inversion theorem due to Lucht and Reifenrath .     

A method of constructing integrable linear equations and its application to Hill's equation

Starting with a given equation of the form $$\ddot x + [\lambda + \varepsilon f(t)] x = 0$$ , where λ > 0 and ? ? l is a small parameter [heref(t) may be periodic, and so Hill's equation is included], we construct an equation of the form y + [λ + ?f (t) + ?² _g (t)]y = 0, integrable by quadratures, close in a certain sense to the original equation. For x₀ = y₀ and x ₀ ^′ = y ₀ ^′ , an upper bound is obtained for ¦y—x¦ on an interval of length Δt.     

Definability and nondefinability results for certain o‐minimal structures

The main goal of this note is to study for certain o‐minimal structures the following propriety: for each definable C^∞ function g₀: [0, 1] → ? there is a definable C^∞ function g: [–ε, 1] → ?, for some ε > 0, such that g (x) = g₀(x) for all x ∈ [0, 1] (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Spin depolarization decay rates in α-symmetric stable fields on cubic lattices

We study the asymptotic, long-time behavior of the energy function where {X_s : 0 ≤ s < ∞} is the standard random walk on the d-dimensional lattice Z^d, 1 < α ≤ 2, and f:R⁺ → R⁺ is any nondecreasing concave function. In the special case f(x) = x, our setting represents a lattice model for the study of transverse magnetization of spins diffusing in a homogeneous, α-stable, i.i.d., random, longitudinal field {λV(x) : x ∈ Z^d} with common marginal distribution, the standard α-symmetric stable distribution; the parameter λ describes the intensity of the field. Using large-deviation techniques, we show that S_c(λ α f) = lim_t→∞ E(t; λ f) exists. Moreover, we obtain a variational formula for this decay rate S_c. Finally, we analyze the behavior S_c(λ α f) as λ → 0 when f(x) = x^β for all 1 ≥ β > 0. Consequently, several physical conjectures with respect to lattice models of transverse magnetization are resolved by setting β = 1 in our results. We show that S_c(λ, α, 1) ≈ λ^α for d ≥ 3, λ^agr;(ln 1/λ)^α−1 in d = 2, and in d = 1. © 1996 John Wiley & Sons, Inc.     

Determination of the infinite Jacobi matrix with respect to two-spectra

The inverse problem about two-spectra for the equation (1) $$\begin{gathered} b_0 y_0 + a_0 y_1 = \lambda y_0 , \hfill \\ a_{n - 1} y_{n - 1} + b_n y_n + a_n y_{n + 1} = \lambda y_n \left( {n = 1, 2, 3, ...} \right), \hfill \\ \end{gathered} $$ where {y_n} ₀ ^∞ is the desired solution, λ is a complex parameter and $$a_n > 0, \operatorname{Im} b_n = 0 \left( {n = 0, 1 ,2, ...} \right)$$ is studied. Necessary and sufficient conditions for the solvability of the inverse problem about two-spectrafor Eq. (1) are established and also the procedure of reconstruction of the equation from its two-spectra is indicated.     

On the limiting behaviour of solutions to boundary integral equations associated with time harmonic wave equations for small frequencies

The treatment of boundary value problems for Helmholtz equation and for the time harmonic Maxwell's equations by boundary integral equations leads to integral equations of the second kind which are uniquely solvable for small positive frequencies λ. However, the integral equations obtained in the limiting case λ = 0 which are related to boundary value problems of potential theory in general are not uniquely solvable since the corresponding boundary value problems are not. By first considering in a general setting of a Banach space X the limiting behaviour of solutions ?_λ to the equation ?_λ – K λ ? λ = fλ as λ → 0 where {K_λ: X → X, λ ∈ (0,α)}, α > 0, denotes a family of compact linear operators such that I - K_λ (I identity) is bijective for λ∈(0,α) whilst I - K₀ is not and ‖ K_λ – K₀‖ →, 0, ‖f_λ – f0‖ → 0, λ → 0, and then applying the results to the boundary integral operators, the limiting behaviour of the integral equations is considered. Thus, the results obtained by Mac Camey for the Helmholtz equation are extended to the case of non-connected boundaries and Werner's results on the integral equations for the Maxwell's equations are extended to the case of multiply connected boundaries.     

Transverse quadruple systems with five holes

Transverse Steiner quadruple systems with five holes are either of type g⁵ or g⁴u¹. We concentrate on the systems of type g⁴u¹ and settle existence except when g ≡ u ≡ 2 (mod 4) and all except 40 parameter situations when g ≡ u + 2 ≡ 0 (mod 4). The question of existence for transverse quadruple systems of type g⁴u¹ with index λ > 1 is completely solved for all λ ≥ 13 and λ ∈ {4, 6, 8, 9, 10, 12}. © 2006 Wiley Periodicals, Inc. J Combin Designs 15: 315–340, 2007     

Truncated Complex Moment Problems with a $ \widetilde{zz} $ Relation

We solve the truncated complex moment problem for measures supported on the variety K o \mathcal{K}\equiv { z ? \in C: z [(z)\tilde]\widetilde{z} = A+Bz+C [(z)\tilde]\widetilde{z} +Dz ² ,D 1 \neq 0}. Given a doubly indexed finite sequence of complex numbers g o g⁽²ⁿ⁾:g₀₀,g₀₁,g₁₀,?,g_0,2n,g_1,2n-1,?,g_2n-1,1,g_2n,0 \gamma\equiv\gamma^{(2n)}:\gamma_{00},\gamma_{01},\gamma_{10},\ldots,\gamma_{0,2n},\gamma_{1,2n-1},\ldots,\gamma_{2n-1,1},\gamma_{2n,0} , there exists a positive Borel measure m\mu supported in K \mathcal{K} such that g_ij=ò[`(z)]<sup>i</sup>z<sup>j</sup> dm (0 ￡ 1+j ￡ 2n) \gamma_{ij}=\int\overline{z}^{i}z^{j}\,d\mu\,(0\leq1+j\leq2n) if and only if the moment matrix M(n)( g\gamma ) is positive, recursively generated, with a column dependence relation Z [(Z)\tilde]\widetilde{Z} = A1+BZ +C [(Z)\tilde]\widetilde{Z} +DZ <sup>2</sup>, and card V(g) 3\mathcal{V}(\gamma)\geq rank M(n), where V(g)\mathcal{V}(\gamma) is the variety associated to g \gamma . The last condition may be replaced by the condition that there exists a complex number g<sub>n,n+1</sub> \gamma_{n,n+1} satisfying g<sub>n+1,n</sub> o [`(g)]_n,n+1=Ag_n,n-1+Bg_n,n+Cg_n+1,n-1+Dg_n,n+1 \gamma_{n+1,n}\equiv\overline{\gamma}_{n,n+1}=A\gamma_{n,n-1}+B\gamma_{n,n}+C\gamma_{n+1,n-1}+D\gamma_{n,n+1} . We combine these results with a recent theorem of J. Stochel to solve the full complex moment problem for K \mathcal{K} , and we illustrate the connection between the truncated and full moment problems for other varieties as well, including the variety z ^k = p(z, [(Z)\tilde] \widetilde{Z} ), deg p < k.     

3-(v, 4, 1) covering designs with chromatic numbers 2 and 3

A t-(v, k, λ) covering design is a pair (X, B) where X is a v-set and B is a collection of k-sets in X, called blocks, such that every t element subset of X is contained in at least λ blocks of B. The covering number, C_λ(t, k, v), is the minimum number of blocks a t-(v, k, λ) covering design may have. The chromatic number of (X, B) is the smallest m for which there exists a map φ: X → Z_m such that ∣φ((β)∣ ≥2 for all β ∈ B, where φ(β) = {φ(x): x ∈ β}. The system (X, B) is equitably m-chromatic if there is a proper coloring φ with minimal m for which the numbers ∣φ^?1(c)∣ c ∈ Z_m differ from each other by at most 1. In this article we show that minimum, (i.e., ∣B∣ = C λ (t, k, v)) equitably 3-chromatic 3-(v, 4, 1) covering designs exist for v ≡ 0 (mod 6), v ≥ 18 for v ≥ 1, 13 (mod 36), v ≡ 13 and for all numbers v = n, n + 1, where n ≡ 4, 8, 10 (mod 12), n ≥ 16; and n = 6.5^a 13^b 17^c ?4, a + b + c > 0, and n = 14, 62. We also show that minimum, equitably 2-chromatic 3-(v, 4, 1) covering designs exist for v ≡ 0, 5, 9 (mod 12), v ≥ 0, v = 2.5^a 13^b 17^c + 1, a + b + c > 0, and v = 23. © 1993 John Wiley & Sons, Inc.     

The connectivity of large digraphs and graphs

This paper studies the relation between the connectivity and other parameters of a digraph (or graph), namely its order n, minimum degree δ, maximum degree Δ, diameter D, and a new parameter l_pi;, 0 ≤ π ≤ δ ? 2, related with the number of short paths (in the case of graphs l₀ = ?(g ? 1)/2? where g stands for the girth). For instance, let G = (V,A) be a digraph on n vertices with maximum degree Δ and diameter D, so that n ≤ n(Δ, D) = 1 + Δ + Δ ² + … + Δ^D (Moore bound). As the main results it is shown that, if κ and λ denote respectively the connectivity and arc-connectivity of G, . Analogous results hold for graphs. © 1993 John Wiley & Sons, Inc.     

The Connection between the Characteristic Roots and the Corresponding Solutions of a Single Linear Differential Equation with Comparable Coefficients

Given a linear differential equation of the form x (ⁿ) + a₁ (t) x (n-1) + …+ a_n (t) x = 0 with variable coefficients defined on the positive semi -axis for t ? 1. We denote its fundamental set of solutions (FSS) by {exp [∫ ri (t) dt] } (i = 1, 2,…,n). In this paper we look for the asymptotic connection (as t → ∞) between the logarithmic derivatives ri (t) of an FSS and of the roots of the characteristic equation yⁿ + a₁ (t) y^n-1 +… + a_n (t) = 0. We mainly consider the case when the coefficients of the equation and the characteristic roots are comparable and have the power order of growth for t → ∞. We discuss the conditions when the functions λ_ii(t) are equivalent to the corresponding roots λ_ii(t) of the characteristic equation as t → ∞.     

Variations of Dirichlet-to-Neumann map and deformation boundary rigidity of simple 2-manifolds

The Dirichlet-to-Neumann (DN) map Λ_g: C^∞ (?M) → C^∞(?M) on a compact Riemannian manifold (M, g) with boundary is defined by Λ_gh = ?u/?v¦in{t6M}, where u is the solution to the Dirichlet problem Δu = 0, u¦?M = h and v is the unit normal to the boundary. If g^t = g + t? is a variation of the metric g by a symmetric tensor field ?, then Λ_g ^t = Λ_g + tΛ_? + o(t). We study the question: How do tensor fields ? look like for which Λ_? =0? A partial answer is obtained for a general manifold, and the complete answer is given in the two cases: For the Euclidean metric and in the 2D-case. The latter result is used for proving the deformation boundary rigidity of a simple 2-manifold.     

ASYMPTOTICS OF THE NUMBER OF RESONANCES IN THE TRANSMISSION PROBLEM

We consider the resonances for the transmission problem associated with a strictly convex transparent obstacle. Under some natural assumptions we show that there is a free of resonances region in the complex upper half plane given by {C ≤ Im λ ≤ C ₁|λ|^1/3 ? C ₂}, where C, C ₁ and C ₂ are positive constants. Moreover, we obtain asymptotics for the number of resonances counted with multiplicities in the region {0 < Im λ ≤ C, 0 < Re λ ≤ r} as r → ∞, where C > 0 is the same constant as above.

     

Some estimates of the norm of solutions of nonlinear elliptic eigenvalue problems

We obtain estimates on the possible growth or decay rates as λ → 0 of sup |u^λ|, where uλ ? O satisfies the nonlinear elliptic boundary value problen Lu_λ = λ f(x,u_λ) in a bounded domain subject to homogensous Dirichlet boundary conditions. The estimates generalize existing results by allowing f(x,O) ≠ 0. The analysis is based on integration by parts and Sobolev inequalitie.     

Some results on λ‐designs with two block sizes

A λ‐design is a family ?? = {B₁, B₂, …, B_v} of subsets of X = {1, 2, …, v} such that |B_i∩B_j| = λ for all i≠jand not all B_i are of the same size. The only known example of λ‐designs (called type‐1 designs) are those obtained from symmetric designs by a certain complementation procedure. Ryser [J Algebra 10 (1968), 246–261] and Woodall [Proc London Math Soc 20 (1970), 669–687] independently conjectured that all λ‐designs are type‐1. Let g = gcd(r ? 1, r^* ? 1), where rand r^* are the two replication numbers. Ionin and Shrikhande [J Combin Comput 22 (1996), 135–142; J Combin Theory Ser A 74 (1996), 100–114] showed that λ‐designs with g = 1, 2, 3, 4 are type‐1 and that the Ryser–Woodall conjecture is true for λ‐designs on p + 1, 2p + 1, 3p + 1, 4p + 1 points, where pis a prime. Hein and Ionin [Codes and Designs—Proceedings of Conference honoring Prof. D. K. Ray‐Chaudhuri on the occasion of his 65th birthday, Ohio State University Mathematical Research Institute Publications, 10, Walter de Gruyter, Berlin, 2002, pp. 145–156] proved corresponding results for g = 5 and Fiala [Codes and Designs—Proceedings of Conference honoring Prof. D. K. Ray‐Chaudhuri on the occasion of his 65th birthday, Ohio State University Mathematical Research Institute Publications, 10, Walter de Gruyter, Berlin, 2002, pp. 109–124; Ars Combin 68 (2003), 17–32; Ars Combin, to appear] for g = 6, 7, and 8. In this article, we consider λ designs with exactly two block sizes. We show that in this case, the conjecture is true for g = 9, 11, 12, 13, 15, 16, 17, 19, 20, 21, and for g = 10, 14, 18, 22 with v≠4λ ? 1. We also give two results on such λ‐designs on v = 9p + 1 and 12p + 1 points, where pis a prime. © 2010 Wiley Periodicals, Inc. J Combin Designs 19:95‐110, 2011     

Determination of an infinite non-self-adjoint Jacobi matrix from its generalized spectral function

Restoration from the generalized spectral function of the equations $$b_0 y_0 + a_0 y_1 = \lambda y_{0,} a_{n - 1} y_{n - 1} + b_n y_n + a_n y_{n + 1} = \lambda y_{n,} n = 1,2,3,...,$$ wherea _n and b_n are arbitrary complex numbers,a _n≠ 0 (n = o, i, 2,...), λ is a complex parameter, and {P _n (λ)} ₀ ^∞ is the required solution, is investigated. Necessary and sufficient conditions for solvability of the inverse problem are obtained, and the restoration procedure is described.     

Analyticity of a Nonlinear Operator Associated to the Conformal Representation in Schauder Spaces. An Integral Equation Approach

We consider the Riemann map g_ζ,w of the complex unit disk to the plane domain 𝕀[ζ] enclosed by the Jordan curve ζ and normalized by the conditions g_ζ,w(0) = w, g′_ζ,w(0) > 0, where w is a point of 𝕀[ζ], and we present a nonlinear singular integral equation approach to prove that the nonlinear operator which takes the pair (ζ, w) to the map g^(–1)_ζ,w ○ ζ is real analytic in Schauder spaces.     

On the Degeneracy Locus of a Map of Vector Bundles on Grassamannian Varieties

Let ℒ︁ be a line bundle on a smooth curve C of genus g ≥ 2 and let W ⊂ H⁰ (ℒ︁) be a subspace of dimension r +1, in this paper we study the natural map μ_W : W ⊗ H⁰ (ω_C) → H⁰ (ℒ︁ ⊗ ω_C). Let D ⊂ G(r + 1, H⁰(ℒ︁)) be the locus where μ_W fails to be surjective: we prove that, if C is not hyperelliptic of genus g ≥ 3, D is an irreducible and reduced divisor on G(r + 1, H⁰(ℒ︁)) for any r ≥ 3, and for r = 2 if the curve C is not trigonal.     

Existence and Concentration of Solutions For Sublinear Schrödinger-Poisson Equations

We concern the sublinear Schrödinger-Poisson equations \(\left\{ \begin{gathered}- \Delta u + \lambda V\left( x \right)u + \phi u = f\left( {x,u} \right)in{\mathbb{R}^3} \hfill \\- \Delta \phi = {u^2}in{\mathbb{R}^3} \hfill \\ \end{gathered} \right.\) where λ > 0 is a parameter, V ∈ C(R³,[0,+∞)), f ∈ C(R₃×R,R) and V^-1(0) has nonempty interior. We establish the existence of solution and explore the concentration of solutions on the set V^-1(0) as λ → ∞ as well. Our results improve and extend some related works.