Linear differential equations with entire coefficients of small growth

We prove that if n \geqq 3 n \geqq 3 and A₀, ?, A_n-2 A_0, \ldots, A_{n-2} are entire functions of small growth, not all polynomials, then the linear differential equation¶¶ w⁽ⁿ⁾ + ?_j=0^n-2 A_j w^(j) = 0 w^{(n)} + \sum\limits_{j=0}^{n-2} A_j w^{(j)} = 0 ¶¶ cannot have a fundamental set of solutions each with few zeros.     

Classification of the centers, of their cyclicity and isochronicity for two classes of generalized quintic polynomial differential systems

In this paper we classify the centers localized at the origin of coordinates, the cyclicity of their Hopf bifurcation and their isochronicity for the polynomial differential systems in \mathbbR²{\mathbb{R}^2} of degree d that in complex notation z = x + i y can be written as

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.     

Asymptotic Behavior of Variable-Coefficient Toeplitz Determinants

For a continuous function s\sigma defined on [0,1]×\mathbbT[0,1]\times\mathbb{T}, let \ops\op\sigma stand for the (n+1)×(n+1)(n+1)\times(n+1) matrix whose (j,k)(j,k)-entries are equal to \frac1 2pò₀^2p s( \fracjn,e^iq) e^-i(j-k)q  dq,        j,k = 0,1,...,n . \displaystyle \frac{1} {2\pi}\int_0^{2\pi} \sigma \left( \frac{j}{n},e^{i\theta}\right) e^{-i(j-k)\theta} \,d\theta, \qquad j,k =0,1,\dots,n~. These matrices can be thought of as variable-coefficient Toeplitz matrices or as the discrete analogue of pseudodifferential operators. Under the assumption that the function s\sigma possesses a logarithm which is sufficiently smooth on [0,1]×\mathbbT[0,1]\times\mathbb{T}, we prove that the asymptotics of the determinants of \ops\op\sigma are given by det[\ops] ~ G[s]⁽ⁿ⁺¹⁾E[s]     \text as   n?￥ , \det \left[\op\sigma\right] \sim G[\sigma]^{(n+1)}E[\sigma] \quad \text{ as \ } n\to\infty~, where G[s]G[\sigma] and E[s]E[\sigma] are explicitly determined constants. This formula is a generalization of the Szegö Limit Theorem. In comparison with the classical theory of Toeplitz determinants some new features appear.     

Irregular Wavelet Frames and Gabor Frames

Given g { l^\fracn2 g( l_j x - kb ) }_jezjezⁿ ,where  l_j \left\{ {\lambda ^{\frac{n}{2}} g\left( {\lambda _j x - kb} \right)} \right\}_{j\varepsilon zj\varepsilon z^n } ,where\;\lambda _j > 0 and b > 0. Sufficient conditions for the wavelet system to constitute a frame for L ²(R ⁿ ) are given. For a class of functions g{ e^{zrib( j,x )} g( x - l_k ) }_{jezⁿ ,kez}\left\{ {e^{zrib\left( {j,x} \right)} g\left( {x - \lambda _k } \right)} \right\}_{j\varepsilon z^n ,k\varepsilon z} to be a frame.     

Commutators of BMO functions and degenerate Schr?dinger operators with certain nonnegative potentials

Let Lf(x)=-\frac1w?_i,j ?_i(a_i,j(·)?_jf)(x)+V(x)f(x){\mathcal{L}f(x)=-\frac{1}{\omega}\sum_{i,j} \partial_i(a_{i,j}(\cdot)\partial_jf)(x)+V(x)f(x)} with the non-negative potential V belonging to reverse H?lder class with respect to the measure ω(x)dx, where ω(x) satisfies the A ₂ condition of Muckenhoupt and a _i,j (x) is a real symmetric matrix satisfying l^-1w(x)|x|² ￡ ?ⁿ_i,j=1a_i,j(x)x_ix_j ￡ lw(x)|x|².{\lambda^{-1}\omega(x)|\xi|^2\le \sum^n_{i,j=1}a_{i,j}(x)\xi_i\xi_j\le\lambda\omega(x)|\xi|^2. } We obtain some estimates for V^aL^-a{V^{\alpha}\mathcal{L}^{-\alpha}} on the weighted L ^p spaces and we study the weighted L ^p boundedness of the commutator [b, V^a L^-a]{[b, V^{\alpha} \mathcal{L}^{-\alpha}]} when b ? BMO_w{b\in BMO_\omega} and 0 < α ≤ 1.     

White noise eliminates instability

Let x₁,..., x_n be points in the d-dimensional Euclidean space E^d with || x_i-x_j|| ￡ 1\| x_{i}-x_{j}\| \le 1 for all 1 \leqq i,j \leqq n1 \leqq i,j \leqq n, where || .||\| .\| denotes the Euclidean norm. We ask for the maximum M(d,n) of \mathop?_i, j=1ⁿ|| x_i-x_j|| ²\textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| ^{2} (see [4]). This paper deals with the case d = 2. We calculate M(2, n) and show that the value M(2, n) is attained if and only if the points are distributed as evenly as possible among the vertices of a regular triangle of edge-length 1. Moreover we give an upper bound for the value \mathop?_i, j=1ⁿ|| x_i-x_j|| \textstyle\mathop\sum\limits _{i,\,j=1}^{n}\| x_{i}-x_{j}\| , where the points x₁,...,x_n are chosen under the same constraints as above.     

Inequalities of Hlawka type for matrices

A generalized Hlawka's inequality says that for any n (\geqq 2) (\geqq 2) complex numbers¶ x₁, x₂, ..., x_n,¶¶ ?_i=1ⁿ|x_i - ?_j=1ⁿx_j| \leqq ?_i=1ⁿ|x_i| + (n - 2)|?_j=1ⁿx_j|. \sum_{i=1}^n\Bigg|x_i - \sum_{j=1}^{n}x_j\Bigg| \leqq \sum_{i=1}^{n}|x_i| + (n - 2)\Bigg|\sum_{j=1}^{n}x_j\Bigg|. ¶¶ We generalize this inequality to the trace norm and the trace of an n x n matrix A as¶¶ ||A - Tr A ||₁ \leqq ||A||₁ + (n - 2)| Tr A|. ||A - {\rm Tr} A ||_1\ \leqq ||A||_1 + (n - 2)| {\rm Tr} A|. ¶¶ We consider also the related inequalities for p-norms (1 \leqq p \leqq ￥) (1 \leqq p \leqq \infty) on matrices.     

Asymptotic behaviour for a nonlocal diffusion equation on a lattice

In this paper we study the asymptotic behaviour as t → ∞ of solutions to a nonlocal diffusion problem on a lattice, namely, u^￠_n(t) = ?_{j ? \mathbbZ^d} J_n-ju_j(t)-u_n(t)u^{\prime}_{n}(t) = \sum_{{j\in}{{{\mathbb{Z}}}^{d}}} J_{n-j}u_{j}(t)-u_{n}(t) with t ≥ 0 and n ? \mathbbZ^dn \in {\mathbb{Z}}^{d}. We assume that J is nonnegative and verifies ?_{n ? \mathbbZ^d}J_n = 1\sum_{{n \in {\mathbb{Z}}}^{d}}J_{n}= 1. We find that solutions decay to zero as t → ∞ and prove an optimal decay rate using, as our main tool, the discrete Fourier transform.     

Smooth Universal Taylor Series

Let W í \Bbb C\Omega \subseteq {\Bbb C} be a simply connected domain in \Bbb C{\Bbb C} , such that {￥} è[ \Bbb C \[`(W)]]\{\infty\} \cup [ {\Bbb C} \setminus \bar{\Omega}] is connected. If g is holomorphic in Ω and every derivative of g extends continuously on [`(W)]\bar{\Omega} , then we write g ∈ A^∞ (Ω). For g ∈ A^∞ (Ω) and z ? [`(W)]\zeta \in \bar{\Omega} we denote S_N (g,z)(z) = ?^N_l=0\fracg^(l) (z)l ! (z-z)^lS_N (g,\zeta )(z)= \sum^{N}_{l=0}\frac{g^{(l)} (\zeta )}{l !} (z-\zeta )^l . We prove the existence of a function f ∈ A^∞(Ω), such that the following hold:

Dual partially harmonic tensors and Brauer-Schur-Weyl duality

Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let $ \mathfrak{B}_n^{(f)} Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let \mathfrakB_n^(f) \mathfrak{B}_n^{(f)} be the two-sided ideal of the Brauer algebra \mathfrakB_n( - 2m ) {\mathfrak{B}_n}\left( { - 2m} \right) over K generated by e ₁ e _3⋯ e _2f-1 where 0 ≤ f ≤ [n/2]. Let HT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} be the subspace of partial-harmonic tensors of valence f in V ^⊗n . In this paper we prove that dimHT_f ^?n \mathcal{H}\mathcal{T}_f^{ \otimes n} and dim \textEn\textd_K\textSp(V)( V ^?n \mathord

Free membrane eigenvalues

For a simply connected and normalized domain D in the plane it was proven by Pólya and Schiffer in 1954 for the fixed membrane eigenvalues

Equality of two variable weighted means: reduction to differential equations

Summary. Let F, Y \Phi, \Psi be strictly monotonic continuous functions, F,G be positive functions on an interval I and let n ? \Bbb N \{1} n \in {\Bbb N} \setminus \{1\} . The functional equation¶¶F^-1 ([(?_i=1ⁿF(x_i)F(x_i))/(?_i=1ⁿ F(x_i)]) Y^-1 ([(?_i=1ⁿY(x_i)G(x_i))/(?_i=1ⁿ G(x_i))])  (x₁,?,x_n ? I) \Phi^{-1}\,\left({\sum\limits_{i=1}^{n}\Phi(x_{i})F(x_{i})\over\sum\limits_{i=1}^{n} F(x_{i}}\right) \Psi^{-1}\,\left({\sum\limits_{i=1}^{n}\Psi(x_{i})G(x_{i})\over\sum\limits_{i=1}^{n} G(x_{i})}\right)\,\,(x_{1},\ldots,x_{n} \in I) ¶was solved by Bajraktarevi' [3] for a fixed n 3 3 n\ge 3 . Assuming that the functions involved are twice differentiable he proved that the above functional equation holds if and only if¶¶Y(x) = [(aF(x) + b)/(cF(x) + d)],       G(x) = kF(x)(cF(x) + d) \Psi(x) = {a\Phi(x)\,+\,b\over c\Phi(x)\,+\,d},\qquad G(x) = kF(x)(c\Phi(x) + d) ¶where a,b,c,d,k are arbitrary constants with k(c²+d²)(ad-bc) 1 0 k(c^2+d^2)(ad-bc)\ne 0 . Supposing the functional equation for all n = 2,3,... n = 2,3,\dots Aczél and Daróczy [2] obtained the same result without differentiability conditions.¶The case of fixed n = 2 is, as in many similar problems, much more difficult and allows considerably more solutions. Here we assume only that the same functional equation is satisfied for n = 2 and solve it under the supposition that the functions involved are six times differentiable. Our main tool is the deduction of a sixth order differential equation for the function j = F°Y^-1 \varphi = \Phi\circ\Psi^{-1} . We get 32 new families of solutions.     

Convergence of the all-time supremum of a Lévy process in the heavy-traffic regime

In this paper we derive a technique for obtaining limit theorems for suprema of Lévy processes from their random walk counterparts. For each a>0, let $\{Y^{(a)}_{n}:n\ge1\}In this paper we derive a technique for obtaining limit theorems for suprema of Lévy processes from their random walk counterparts. For each a>0, let {Y^(a)_n:n 3 1}\{Y^{(a)}_{n}:n\ge1\} be a sequence of independent and identically distributed random variables and {X^(a)_t:t 3 0}\{X^{(a)}_{t}:t\ge0\} be a Lévy process such that X₁^(a)=^dY₁^(a)X_{1}^{(a)}\stackrel{d}{=}Y_{1}^{(a)}, \mathbbEX₁^(a) < 0\mathbb{E}X_{1}^{(a)}<0 and \mathbbEX₁^(a)-0\mathbb{E}X_{1}^{(a)}\uparrow0 as a↓0. Let S^(a)_n=?_k=1ⁿ Y^(a)_kS^{(a)}_{n}=\sum _{k=1}^{n} Y^{(a)}_{k}. Then, under some mild assumptions, , for some random variable and some function Δ(⋅). We utilize this result to present a number of limit theorems for suprema of Lévy processes in the heavy-traffic regime.     

Projective Freeness of Algebras of Real Symmetric Functions

Let \mathbb Dⁿ:={z=(z₁,?, z_n) ? \mathbb Cⁿ:|z_j| < 1,   j=1,?, n}{\mathbb {D}^n:=\{z=(z_1,\ldots, z_n)\in \mathbb {C}^n:|z_j| < 1, \;j=1,\ldots, n\}}, and let [`(\mathbbD)]ⁿ{\overline{\mathbb{D}}^n} denote its closure in \mathbb Cⁿ{\mathbb {C}^n}. Consider the ring

Padé tables of entire functions of very slow and smooth growth,II

Letf(z):=Σ _j=0 ^∞ a _j z ^j , where a_j ≠ 0,j large enough, and for someq ε C such that ¦q¦ $$q_j : = a_{j - 1} a_{j + 1} /a_j^2 \to q,j \to \infty .$$ Define for m,n = 0,1,2,..., the Toeplitz determinant $$D(m/n): = \det (a_{m - j + k} )_{j,k = 1}^n .$$ Given ? > 0, we show that form large enough, and for everyn = 1,2,3,..., $$(1 - \varepsilon )^n \leqslant \left| {{{D(m/n)} \mathord{\left/ {\vphantom {{D(m/n)} {\left\{ {a_m^n \mathop \Pi \limits_{j - 1}^{n - 1} (1 - q_m^j )^{n - j} } \right\}}}} \right. \kern-\nulldelimiterspace} {\left\{ {a_m^n \mathop \Pi \limits_{j - 1}^{n - 1} (1 - q_m^j )^{n - j} } \right\}}}} \right| \leqslant (1 + \varepsilon )^n .$$ We apply this to show that any sequence of Padé approximants {[m _k /n _k ]} ₁ ^∞ tof, withm _k →∞ ask→ ∞, converges locally uniformly in C. In particular, the diagonal sequence {[n/n]} ₁ ^∞ converges throughout C. Further, under additional assumptions, we give sharper asymptotics forD(m/n).     

The mean value of the zeta-function on <Emphasis Type="Italic">σ</Emphasis>=1

Let R(T): = ò₁^T|z(1+it)|² dt - z(2)T+plogTR(T):= \int_{1}^{T}|\zeta (1+it)|^{2}\,\mathrm{d}t - \zeta (2)T+\pi\log T. We derive a precise explicit expression for R(t) which is used to derive asymptotic formulas for ò₁^TR(t) dt\int_{1}^{T}R(t)\,\mathrm{d}t and ò₁^TR²(t) dt\int_{1}^{T}R^{2}(t)\,\mathrm{d}t. These results improve on earlier upper bounds of Balasubramanian, Ramachandra and the author for the integrals in question.     

Transcendence of the values of infinite products in several variables

The aim of this paper is to prove the transcendence of certain infinite products. As applications, we get necessary and sufficient conditions for transcendence of the value of $\Pi_{k=0}^{\infty}(1+a_{k}^{(1)}{z_{1}r^{k}}+\cdot\cdot\cdot+a_{k}^{(m)}{z_{m}r^{k}})$ at appropriate algebraic points, where r ≥ 2 is an integer and {a_n ⁽ⁱ⁾}_{n≥ 0} (1 ≤ i ≤ m) are suitable sequences of algebraic numbers.     

Uncorrelatedness and correlatedness of powers of random variables

Let x₁, ?, x_n \xi_1, \ldots, \xi_n be random variables and U be a subset of the Cartesian product \mathbbZ₊ⁿ, \mathbbZ₊ \mathbb{Z}_+^n, \mathbb{Z}_+ being the set of all non-negative integers. The random variables are said to be strictly U-uncorrelated if¶¶E(x₁^j₁ ?x_n^j_n) = E(x₁^j₁) ?E(x_n^j_n) ? (j₁, ... ,j_n) ? U. \textbf {E}\big(\xi_1^{j_1} \cdots \xi_n^{j_n}\big) = \textbf {E}\big(\xi_1^{j_1}\big) \cdots \textbf {E}\big(\xi_n^{j_n}\big) \iff (j_1, \dots ,j_n) \in U. ¶It is proved that for an arbitrary subset U \subseteqq \mathbbZ₊ⁿ U \subseteqq \mathbb{Z}_+^n containing all points with 0 or 1 non-zero coordinates there exists a collection of n strictly U-uncorrelated random variables.