Anisotropic singular integrals in product spaces

In this paper, the authors introduce a class of product anisotropic singular integral operators, whose kernels are adapted to the action of a pair A := (A1, A2) of expansive dilations on R n and R m , respectively. This class is a generalization of product singular integrals with convolution kernels introduced in the isotropic setting by Fefferman and Stein. The authors establish the boundedness of these operators in weighted Lebesgue and Hardy spaces with weights in product A∞ Muckenhoupt weights on R n × R m . These results are new even in the unweighted setting for product anisotropic Hardy spaces.     

Analytic completeness theorem for singular biprobability models

The aim of the paper is to prove tha analytic completeness theorem for a logic L(∫₁, ∫₂)_A^s with two integral operators in the singular case. The case of absolute continuity was proved in [4]. MSC: 03B48, 03C70.     

On the condition numbers associated with the polar factorization of a matrix

We are interested in the calculation of explicit formulae for the condition numbers of the two factors of the polar decomposition of a full rank real or complex m × n matrix A, where m ≥ n. We use a unified presentation that enables us to compute such condition numbers in the Frobenius norm, in cases where A is a square or a rectangular matrix subjected to real or complex perturbations. We denote by σ₁ (respectively σ _n) the largest (respectively smallest) singular value of A, and by K(A) = σ₁/σ _n the generalized condition number of A. Our main results are that the absolute condition number of the Hermitian polar factor is √2(1 + K(A)²)^1/2/(1 + K(A)) and that the absolute condition number of the unitary factor of a rectangular matrix is 1/σ _n. Copyright © 2000 John Wiley & Sons, Ltd.     

A note on skew differential operators on commutative rings

Let A be a commutative integral domain that is a finitely generated algebra over a field k of characteristic 0 and let ø be a k-algebra automorphism of A of finite order m. In this note we study the ring D(A;ø of differential operators introduced by A.D. Bell. We prove that if A is a free module over the fixed sub-ring A ^ø, with a basis containing 1, then D(A;ø) is isomorphic to the matrix ring M_m(D(A ^ø). It follows from Grothendieck's Generic Flatness Theorem that for an arbitrary A there is an element c?Asuch that D(A[c^-1];ø)?M _m(D(A[c^-1]^ø)). As an application, we consider the structure of D(A;ø)when A is a polynomial or Laurent polynomial ring over k and ø is a diagonalizable linear automorphism.     

Wave equations with time-dependent spatial operators of higher order

We study the initial-boundary value problem for ?_t²u(t,x)+A(t)u(t,x)+B(t)?_tu(t,x)=f(t,x) on [0,T]×Ω(Ω??ⁿ) with a homogeneous Dirichlet boundary condition; here A(t) denotes a family of uniformly strongly elliptic operators of order 2m, B(t) denotes a family of spatial differential operators of order less than or equal to m, and u is a scalar function. We prove the existence of a unique strong solution u. Furthermore, an energy estimate for u is given.     

Resolvent Estimates for Operators Belonging to Exponential Classes

For a, α > 0 let E(a, α) be the set of all compact operators A on a separable Hilbert space such that s _n (A) = O(exp(-an^α)), where s _n (A) denotes the n-th singular number of A. We provide upper bounds for the norm of the resolvent (zI − A)⁻¹ of A in terms of a quantity describing the departure from normality of A and the distance of z to the spectrum of A. As a consequence we obtain upper bounds for the Hausdorff distance of the spectra of two operators in E(a, α).      

A Lyapunov Lemma for Elliptic Systems

We study a possible extension to the infinite-dimensional case of the classicalLyapunov lemma for matrices. More precisely, for a fixed elliptic system A ofdifferential operators of order m, we consider the operator equationTA + A ^* T = Q, where Q is any given classical pseudodifferential system oforder m, and T is sought as a classical pseudodifferential system of order0.     

Least Squares Approximate and Least Norm Solutions of Paired Singular Equations

Paired operators T = A₁P + A₂Q on a HILBERT space are studied where P is a projector, P + Q = I, and the coefficients are linear invertible operators. The MOORE -PENROSE inverse of T can be obtained explicitly from a factorization of the coefficients, which is equivalent to the normal solvability of T and occurs in numerous applications. As an example, systems of singular integral equations of CAUCHY type are analysized in detail.     

On the convex hull of the multiform numerical range

Let A ₁,…,A_m be nxn hermitian matrices. Definine

W(A ₁,…,A_m )={(xA₁x ^?,…xA_mx ^?):x?C ⁿ ,xx ^?=1}. We will show that every point in the convex hull of W(A ₁,…,A_m ) can be represented as a convex combination of not more than k(m,n) points in W(A ₁,…,A_m ) where k(m,n)=min{n,[√m]+δ _n ² _m+1}.     

Nonself-Adjoint Operators with Almost Hermitian Spectrum: Weak Annihilators

We consider nonself-adjoint nondissipative trace class additive perturbations L=A+iV of a bounded self-adjoint operator A in a Hilbert space ,H. The main goal is to study the properties of the singular spectral subspace N _i ⁰ of L corresponding to part of the real singular spectrum and playing a special role in spectral theory of nonself-adjoint nondissipative operators.To some extent, the properties of N _i ⁰ resemble those of the singular spectral subspace of a self-adjoint operator. Namely, we prove that L and the adjoint operator ,L ^* are weakly annihilated by some scalar bounded outer analytic functions if and only if both of them satisfy the condition N _i ⁰ =H. This is a generalization of the well-known Cayley identity to nonself-adjoint operators of the above-mentioned class.     

Singular Integral Operators with Coefficients of a Special Structure Related to Operator Equalities

In our previous works we have constructed operator equalities which transform scalar singular integral operators with shift to matrix characteristic singular integral operators without shift and found some of their applications to problems with shift. In this article the operator equalities are used for the study of matrix characteristic singular integral operators. Conditions for the invertibility of the singular integral operators with orientation preserving shift and coefficients with a special structure generated by piecewise constant functions, t, t ⁻¹, were found. Conditions for the invertibility of the matrix characteristic singular integral operators with four-valued piecewise constant coefficients of a special structure were likewise obtained. Submitted: June 15, 2007. Revised: October 25, 2007. Accepted: November 5, 2007.     

Separating sets by Darboux Baire 1 and approximately continuous functions

We characterize sets A₀, A₁ for which there is a DB1 function f with [f = 0] = A₀ and [f = 1] = A₁. This characterization is a conjunction of necessary conditions for Darboux and for Baire 1 functions. We also characterize sets A^?, A⁺ for which there is a DB₁ function with [f < 0] = A^? and [f > 0] = A⁺. The same characterzations are provided for approximately continuous functions.     

Grassmannians of 2-Sided Vector Spaces

Let k ? K be an extension of fields, and let A ? M _n (K) be a k-algebra. We study parameter spaces of m-dimensional subspaces of K ⁿ which are invariant under A. The space  _A (m, n), whose R-rational points are A-invariant, free rank m summands of R ⁿ , is well known. We construct a distinct parameter space,  _A (m, n), which is a fiber product of a Grassmannian and the projectivization of a vector space. We then study the intersection  _A (m, n) ∩  _A (m, n), which we denote by  _A (m, n). Under suitable hypotheses on A, we construct affine open subschemes of  _A (m, n) and  _A (m, n) which cover their K-rational points. We conclude by using  _A (m, n),  _A (m, n), and  _A (m, n) to construct parameter spaces of 2-sided subspaces of 2-sided vector spaces.     

Characterizations, bounds, and probabilistic analysis of two complexity measures for linear programming problems

This note studies _A , a condition number used in the linear programming algorithm of Vavasis and Ye [14] whose running time depends only on the constraint matrix A∈ℝ ^m×n , and (A), a variant of another condition number due to Ye [17] that also arises in complexity analyses of linear programming problems. We provide a new characterization of _A and relate _A and (A). Furthermore, we show that if A is a standard Gaussian matrix, then E(ln _A )=O(min{mlnn,n}). Thus, the expected running time of the Vavasis-Ye algorithm for linear programming problems is bounded by a polynomial in m and n for any right-hand side and objective coefficient vectors when A is randomly generated in this way. As a corollary of the close relation between _A and (A), we show that the same bound holds for E(ln(A)). Received: September 1998 / Accepted: September 2000?Published online January 17, 2001     

The Constrained Solutions of Two Matrix Equations

We study the symmetric positive semidefinite solution of the matrix equation AX ₁ A ^T + BX ₂ B ^T = C, where A is a given real m×n matrix, B is a given real m×p matrix, and C is a given real m×m matric, with m, n, p positive integers; and the bisymmetric positive semidefinite solution of the matrix equation D ^T XD = C, where D is a given real n×m matrix, C is a given real m×m matrix, with m, n positive integers. By making use of the generalized singular value decomposition, we derive general analytic formulae, and present necessary and sufficient conditions for guaranteeing the existence of these solutions. Received December 17, 1999, Revised January 10, 2001, Accepted March 5, 2001     

The Estimates for Sharp Maximal Functions of Multilinear Strongly Singular Integral Operators

In this paper, the author obtains that the multilinear operators of strongly singular integral operators and their dual operators are bounded from some L^p（R^n） to L^p（R^n） when the m-th order derivatives of A belong to L^p（R^n） for r large enough. By this result, the author gets the estimates for the Sharp maximal functions of the multilinear operators with the m-th order derivatives of A being Lipschitz functions. It follows that the multilinear operators are （L^p, L^p）-type operators for 1 〈 p 〈 ∞.     

Elliptic operators with general Wentzell boundary conditions,analytic semigroups and the angle concavity theorem

We prove a very general form of the Angle Concavity Theorem, which says that if (T (t)) defines a one parameter semigroup acting over various L^p spaces (over a fixed measure space), which is analytic in a sector of opening angle θ_p, then the maximal choice for θ_p is a concave function of 1 – 1/p. This and related results are applied to give improved estimates on the optimal L^p angle of ellipticity for a parabolic equation of the form ?u /?t = Au, where A is a uniformly elliptic second order partial differential operator with Wentzell or dynamic boundary conditions. Similar results are obtained for the higher order equation ?u /?t = (–1)^{m +l}A^mu, for all positive integers m.     

A direct method for the general solution of a system of linear equations

A computationally stable method for the general solution of a system of linear equations is given. The system isA ^Tx–B=0, where then-vectorx is unknown and then×q matrixA and theq-vectorB are known. It is assumed that the matrixA ^T and the augmented matrix [A ^T,B] are of the same rankm, wheremn, so that the system is consistent and solvable. Whenm<n, the method yields the minimum modulus solutionx _m and a symmetricn ×n matrixH _m of rankn–m, so thatx=x _m+H _my satisfies the system for ally, ann-vector. Whenm=n, the matrixH _m reduces to zero andx _m becomes the unique solution of the system.The method is also suitable for the solution of a determined system ofn linear equations. When then×n coefficient matrix is ill-conditioned, the method can produce a good solution, while the commonly used elimination method fails.This research was supported by the National Science Foundation, Grant No. GP-41158.     

Approximations in the l∞ norm and the generalized inverse

We introduce the concept of a strict l_∞-metric projector, based in the definition of strict approximation, to prove that for each matrix A of order m×n with coefficients in the field R of real numbers there exists a set of operators G: R^m → Rⁿ homogeneous and continuous, but not necessarily linear (strict generalized inverse) such that AGA = A and 6AGy?y6 is minimized for all y, when the norm is the l_∞ norm. We investigate the properties of these operators and prove that there are two distinguished operators A^-1_{∞, β} and A^-1_∞ which are extensions of the generalized inverse introduced by Newman and Odell in the case of a strictly convex norm.