Lower bounds at infinity of solutions of partial differential equations in the exterior of a proper cone

An extension of a classical theorem of Rellich to the exterior of a closed proper convex cone is proved: Let Γ be a closed convex proper cone inR ⁿ and −Γ′ be the antipodes of the dual cone of Γ. Let be a partial differential operator with constant coefficients inR ⁿ, whereQ(ζ)≠0 onR ⁿ−iΓ′ andP _i is an irreducible polynomial with real coefficients. Assume that the closure of each connected component of the set {ζ∈R ⁿ−iΓ′;P _j(ζ)=0, gradP _j(ζ)≠0} contains some real point on which gradP _j≠0 and gradP _j∉Γ∪(−Γ). LetC be an open cone inR ⁿ−Γ containing both normal directions at some such point, and intersecting each normal plane of every manifold contained in {ξ∈R ⁿ;P(ξ)=0}. Ifu∈ℒ′∩L _loc ² (R ⁿ−Γ) and the support ofP(−i∂/∂x)u is contained in Γ, then the condition implies that the support ofu is contained in Γ.     

On the Problem of Parameter Estimation in Exponential Sums

Let I≥1 be an integer, ω ₀=0<ω ₁<⋯<ω _I ≤π, and for j=0,…,I, a _j ∈ℂ, a_-j=[`(a_j)]a_{-j}={\overline{{a_{j}}}}, ω _−j =−ω _j , and a_j 1 0a_{j}\not=0 if j 1 0j\not=0. We consider the following problem: Given finitely many noisy samples of an exponential sum of the form

A note on nil power serieswise Armendariz rings

A ring R is called nil power serieswise Armendariz if $ \forall f = \sum\limits_{i = 0}^\infty {a_i X^i } $ \forall f = \sum\limits_{i = 0}^\infty {a_i X^i } and $ g = \sum\limits_{i = 0}^\infty {b_i X^i } $ g = \sum\limits_{i = 0}^\infty {b_i X^i } in R[[X]] such that f g ∈ Nil(R)[[X]], then a _i b _j ∈ Nil(R) for all i and j. In this note we characterize completely nil power serieswise Armendariz rings with their nilradical Nil(R) (where the nilradical is the set of nilpotent elements). We prove that a ring is nil power serieswise Armendariz if and only if Nil(R) is an ideal of R. We prove that each power serieswise Armendariz ring is nil power serieswise Armendariz and we give examples of nil power serieswise Armendariz rings.     

On thin-complete ideals of subsets of groups

Let F ì P_G \mathcal{F} \subset {\mathcal{P}_G} be a left-invariant lower family of subsets of a group G. A subset A ⊂ G is called F \mathcal{F} -thin if xA ?yA ? F xA \cap yA \in \mathcal{F} for any distinct elements x, y ∈ G. The family of all F \mathcal{F} -thin subsets of G is denoted by t( F ) \tau \left( \mathcal{F} \right) . If t( F ) = F \tau \left( \mathcal{F} \right) = \mathcal{F} , then F \mathcal{F} is called thin-complete. The thin-completion t^*( F ) {\tau^*}\left( \mathcal{F} \right) of F \mathcal{F} is the smallest thin-complete subfamily of P_G {\mathcal{P}_G} that contains F \mathcal{F} . Answering questions of Lutsenko and Protasov, we prove that a set A ⊂ G belongs to τ*(G) if and only if, for any sequence (g _n ) _n∈ω of nonzero elements of G, there is n ∈ ω such that

Canonical form with respect to semiscalar equivalence for a matrix pencil with nonsingular first matrix

Polynomial n × n matrices A(x) and B(x) over a field \mathbbF \mathbb{F} are called semiscalar equivalent if there exist a nonsingular n × n matrix P over \mathbbF \mathbb{F} and an invertible n × n matrix Q(x) over \mathbbF \mathbb{F} [x] such that A(x) = PB(x)Q(x). We give a canonical form with respect to semiscalar equivalence for a matrix pencil A(x) = A _0x - A ₁, where A ₀ and A ₁ are n × n matrices over \mathbbF \mathbb{F} , and A ₀ is nonsingular.     

On branch points of three-dimensional mappings with unbounded characteristic of quasiconformality

For open discrete mappings f:D\{ b } ? \mathbbR³ f:D\backslash \left\{ b \right\} \to {\mathbb{R}^3} of a domain D ì \mathbbR³ D \subset {\mathbb{R}^3} satisfying relatively general geometric conditions in D \ {b} and having an essential singularity at a point b ? \mathbbR³ b \in {\mathbb{R}^3} , we prove the following statement: Let a point y ₀ belong to [`(\mathbbR³)] \f( D\{ b } ) \overline {{\mathbb{R}^3}} \backslash f\left( {D\backslash \left\{ b \right\}} \right) and let the inner dilatation K _I (x, f) and outer dilatation K _O (x, f) of the mapping f at the point x satisfy certain conditions. Let B _f denote the set of branch points of the mapping f. Then, for an arbitrary neighborhood V of the point y ₀, the set V ∩ f(B _f ) cannot be contained in a set A such that g(A) = I, where I = { t ? \mathbbR:| t | < 1 } I = \left\{ {t \in \mathbb{R}:\left| t \right| < 1} \right\} and g:U ? \mathbbRⁿ g:U \to {\mathbb{R}^n} is a quasiconformal mapping of a domain U ì \mathbbRⁿ U \subset {\mathbb{R}^n} such that A ⊂ U.     

Schur convexity and Schur multiplicative convexity for a class of symmetric functions with applications

For x = (x ₁, x ₂, …, x _n ) ∈ (0, 1 ] ⁿ and r ∈ { 1, 2, … , n}, a symmetric function F _n (x, r) is defined by the relation

Forest-Like Permutations

Given a permutation , construct a graph G _π on the vertex set {1, 2,..., n} by joining i to j if (i) i < j and π(i) < π(j) and (ii) there is no k such that i < k < j and π(i) < π(k) < π(j). We say that π is forest-like if G _π is a forest. We first characterize forest-like permutations in terms of pattern avoidance, and then by a certain linear map being onto. Thanks to recent results of Woo and Yong, these show that forest-like permutations characterize Schubert varieties which are locally factorial. Thus forest-like permutations generalize smooth permutations (corresponding to smooth Schubert varieties). We compute the generating function of forest-like permutations. As in the smooth case, it turns out to be algebraic. We then adapt our method to count permutations for which G _π is a tree, or a path, and recover the known generating function of smooth permutations. Received March 27, 2006     

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.     

Nonuniform Sampling and Recovery of?Multidimensional Bandlimited Functions by?Gaussian Radial-Basis Functions

Let S⊂ℝ ^d be a bounded subset with positive Lebesgue measure. The Paley-Wiener space associated to S, PW _S , is defined to be the set of all square-integrable functions on ℝ ^d whose Fourier transforms vanish outside S. A sequence (x _j :j∈ℕ) in ℝ ^d is said to be a Riesz-basis sequence for L ₂(S) (equivalently, a complete interpolating sequence for PW _S ) if the sequence (e^-iáx_j,·?:j ? \mathbb N)(e^{-i\langle x_{j},\cdot \rangle }:j\in \mathbb {N}) of exponential functions forms a Riesz basis for L ₂(S). Let (x _j :j∈ℕ) be a Riesz-basis sequence for L ₂(S). Given λ>0 and f∈PW _S , there is a unique sequence (a _j ) in ℓ ₂ such that the function

On pair correlations and Hausdorff dimension

We consider a system of “generalised linear forms” defined at a point x = (x _{(i, j)}) in a subset of R ^d by

Relatively thin and sparse subsets of groups

Let G be a group with identity e and let I \mathcal{I} be a left-invariant ideal in the Boolean algebra P_G {\mathcal{P}_G} of all subsets of G. A subset A of G is called I \mathcal{I} -thin if gA ?A ? I gA \cap A \in \mathcal{I} for every g ∈ G\{e}. A subset A of G is called I \mathcal{I} -sparse if, for T every infinite subset S of G, there exists a finite subset F ⊂ S such that ?_{g ? F} gA ? F \bigcap\nolimits_{g \in F} {gA \in \mathcal{F}} . An ideal I \mathcal{I} is said to be thin-complete (sparse-complete) if every I \mathcal{I} -thin (I \mathcal{I} -sparse) subset of G belongs to I \mathcal{I} . We define and describe the thin-completion and the sparse-completion of an ideal in P_G {\mathcal{P}_G} .     

Exact asymptotic behaviour of the codimensions of some P.I. algebras

Letc _n (A) denote the codimensions of a P.I. algebraA, and assumec _n (A) has a polynomial growth: . Then, necessarily,q∈ℚ [D3]. If 1∈A, we show that , wheree=2.71…. In the non-unitary case, for any 0<q∈ℚ, we constructA, with a suitablek, such that . In memory of S. A. Amitsur, our teacher and friend Partially supported by Grant MM404/94 of Ministry of Education and Science, Bulgaria and by a Bulgarian-American Grant of NSF. Partially supported by NSF grant DMS-9101488.     

Amalgamated free products of weakly rigid factors and calculation of their symmetry groups

We consider amalgamated free product II₁ factors M = M _1*B M _2*B … and use “deformation/rigidity” and “intertwining” techniques to prove that any relatively rigid von Neumann subalgebra Q ⊂ M can be unitarily conjugated into one of the M _i ’s. We apply this to the case where the M _i ’s are w-rigid II₁ factors, with B equal to either C, to a Cartan subalgebra A in M _i , or to a regular hyperfinite II₁ subfactor R in M _i , to obtain the following type of unique decomposition results, àla Bass–Serre: If M = (N _1 * CN_2*C …) ^t , for some t > 0 and some other similar inclusions of algebras C ⊂ N _i then, after a permutation of indices, (B ⊂ M _i ) is inner conjugate to (C ⊂ N _i ) ^t , for all i. Taking B = C and , with {t _i } _i⩾1 = S a given countable subgroup of R ₊ ^*, we obtain continuously many non-stably isomorphic factors M with fundamental group equal to S. For B = A, we obtain a new class of factors M with unique Cartan subalgebra decomposition, with a large subclass satisfying and Out(M) abelian and calculable. Taking B = R, we get examples of factors with , Out(M) = K, for any given separable compact abelian group K.     

Comonotone approximation of twice differentiable periodic functions

In the case where a 2π-periodic function f is twice continuously differentiable on the real axis ℝ and changes its monotonicity at different fixed points y _i ∈ [− π, π), i = 1,…, 2s, s ∈ ℕ (i.e., on ℝ, there exists a set Y := {y _i } _i∈ℤ of points y _i = y _i+2s + 2π such that the function f does not decrease on [y _i , y _i−1] if i is odd and does not increase if i is even), for any natural k and n, n ≥ N(Y, k) = const, we construct a trigonometric polynomial T _n of order ≤n that changes its monotonicity at the same points y _i ∈ Y as f and is such that

On embeddings of some quotient algebras of free sums of Lie algebras

Let (B _i ) _i∈I be a set of Lie algebras; let X be a free Lie algebra; let * X be their free sum; let R be an ideal of F such that R ⋂ B _i = 1 (i ∈ I); let V be a variety of Lie algebras such that V(R) is an ideal of F. Under some restrictions, we construct an embedding of F/V(R) into the verbal wreath product of a free algebra of the variety V with F/R. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 10, No. 4, pp. 235–241, 2004.     

Large antipodal families

A family {A _i | i ∈ I} of sets in ℝ ^d is antipodal if for any distinct i, j ∈ I and any p ∈ A _i , q ∈ A _j , there is a linear functional ϕ:ℝ ^d → ℝ such that ϕ(p) ≠ ϕ(q) and ϕ(p) ≤ ϕ(r) ≤ ϕ(q) for all r ∈ ∪ _i∈I A _i . We study the existence of antipodal families of large finite or infinite sets in ℝ³. The research was supported by the Hungarian-South African Intergovernmental Scientific and Technological Cooperation Programme, NKTH Grant no. ZA-21/2006 and South African National Research Foundation Grant no. UID 61853, as well as Hungarian National Foundation for Scientific Research Grants no. NK 67867, no. T47102, and no. K72537.     

Constant-Sign Solutions for Systems of Fredholm and Volterra Integral Equations: The Singular Case

We consider the system of Fredholm integral equations

A Generalized Radon Transform on the Plane

A new generalized Radon transform R _α, β on the plane for functions even in each variable is defined which has natural connections with the bivariate Hankel transform, the generalized biaxially symmetric potential operator Δ _α, β , and the Jacobi polynomials P_k^(b, a)(t)P_{k}^{(\beta,\,\alpha)}(t). The transform R _α, β and its dual R_a, b^*R_{\alpha,\,\beta}^{\ast} are studied in a systematic way, and in particular, the generalized Fuglede formula and some inversion formulas for R _α, β for functions in L_a, b^p(\mathbbR²₊)L_{\alpha,\,\beta}^{p}(\mathbb{R}^{2}_{+}) are obtained in terms of the bivariate Hankel–Riesz potential. Moreover, the transform R _α, β is used to represent the solutions of the partial differential equations Lu:=?_j=1^ma_jD_a, b^ju=fLu:=\sum_{j=1}^{m}a_{j}\Delta_{\alpha,\,\beta}^{j}u=f with constant coefficients a _j and the Cauchy problem for the generalized wave equation associated with the operator Δ _α, β . Another application is that, by an invariant property of R _α, β , a new product formula for the Jacobi polynomials of the type P_k^(b, a)(s)C_2k^a+b+1(t)=còòP_k^(b, a)P_{k}^{(\beta,\,\alpha)}(s)C_{2k}^{\alpha+\beta+1}(t)=c\int\!\!\int P_{k}^{(\beta,\,\alpha)} is obtained.     

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.